sig type t val print : Format.formatter -> Print.PRINTABLE_TYPE.t -> unit end