logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Interfaces . EQ
type t
val equal : t -> t -> bool