logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Interfaces . PRINT_OVERLOAD
type t
val pp_with : string -> t CCFormat.printer
val add_printer : string -> t CCFormat.printer -> unit
val set_default_printer : string -> unit

Used by PRINT.pp...