sig module RTL : sig val is_generated_name : string -> bool end end