sig
val
is_generated_name : string
->
bool
end