Module E_ACSL.Functions.RTL

module RTL: sig .. end

val is_generated_name : string -> bool