sig type t val pp : Interfaces.PRINT.t CCFormat.printer val to_string : Interfaces.PRINT.t -> string end