type t val of_string : string -> t val pp : out_channel -> t -> unit