SLiteral.TPTP
include Interfaces.PRINT1 with type 'a t := 'a t
type 'a t
val pp : 'a CCFormat.printer -> 'a t CCFormat.printer
val to_string : 'a CCFormat.printer -> 'a t -> string