Module Logtk.Index

Generic term indexing

type term = Term.t
type subst = Subst.t

Leaf

module type LEAF = Index_intf.LEAF
module MakeLeaf : functor (X : Set.OrderedType) -> LEAF with type elt = X.t

Term index

Subsumption Index

Specialized rewriting index

module BasicEquation : EQUATION with type t = Term.t * Term.t and type rhs = Term.t