logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Index_intf
type term = Term.t
type subst = Subst.t
module type LEAF = sig ... end
module type TERM_IDX = sig ... end
type lits = term SLiteral.t Iter.t

Iter of literals, as a cheap abstraction on query clauses

type labels = Util.Int_set.t
module type CLAUSE = sig ... end
module type SUBSUMPTION_IDX = sig ... end
module type EQUATION = sig ... end
module type UNIT_IDX = sig ... end