logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Polynomial . OrderedType
type t
val compare : t -> t -> int
val pp : Format.formatter -> t -> unit