logtk

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