sig
  type 'a t
  val pp : 'CCFormat.printer -> 'Interfaces.PRINT1.t CCFormat.printer
  val to_string : 'CCFormat.printer -> 'Interfaces.PRINT1.t -> string
end