logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . SLiteral . TPTP
include Interfaces.PRINT1 with type 'a t := 'a t
val to_string : 'a CCFormat.printer -> 'a t -> string