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 = Logtk.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