sig
val
to_string : exn
->
string
end