logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Interfaces . ORD
type t
val compare : t -> t -> int