type t
val to_string : t -> string