sig val is_generated_name : string -> bool end