logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Comparison . PARTIAL_ORD
type t
val partial_cmp : t -> t -> comparison