Up – Package index » logtk » Library logtk » Logtk » Index_intf

Module `Logtk.Index_intf`Source

Sourcetype term = Term.t

Sourcetype subst = Subst.t

Sourcemodule type LEAF = sig ... end

Sourcemodule type TERM_IDX = sig ... end

Sourcetype lits = term SLiteral.t Iter.t

Iter of literals, as a cheap abstraction on query clauses

Sourcetype labels = Util.Int_set.t

Sourcemodule type CLAUSE = sig ... end

Sourcemodule type SUBSUMPTION_IDX = sig ... end

Sourcemodule type EQUATION = sig ... end

Sourcemodule type UNIT_IDX = sig ... end