Up – Package index » logtk » Library logtk » Logtk » Statement » TPTP

Module `Statement.TPTP`

include Interfaces.PRINT3 with type ('a, 'b, 'c) t := ('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