chickadee » flsim » name/ML

name/MLprocedure

Converts a given name (symbol) to a valid Standard ML identifier.