logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Interfaces . PRINT
type t
val to_string : t -> string