sig val to_string : exn -> string end