sig val normalize : string -> string end