logtk

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