sig
val
normalize : string
->
string
end