Module Statement.TPTP

include Interfaces.PRINT3 with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
type ('a, 'b, 'c) t
val pp : 'a CCFormat.printer -> 'b CCFormat.printer -> 'c CCFormat.printer -> ('a, 'b, 'c) t CCFormat.printer
val to_string : 'a CCFormat.printer -> 'b CCFormat.printer -> 'c CCFormat.printer -> ('a, 'b, 'c) t -> string