logtk

Core types and algorithms for logic
IN THIS PACKAGE
Parameter #2 Logtk . Polynomial . Make . Indet
type t
val compare : t -> t -> int
val pp : Format.formatter -> t -> unit