val to_string : t -> string