Parameter Make.1-I

type t
val to_string : t -> string