Make (p.term-indexing.0.0.1.doc.term-indexing.Term

Parameters

module P : Intf.Signature

Sourcemodule Term : Intf.Term with type prim = P.t

First-order terms.

Sourcemodule Path : module type of Path

Paths in first-order terms.

module Pattern : 
  Intf.Pattern
    with type prim = P.t
     and type path = Path.t
     and type term = Term.t

Patterns over first-order terms and pattern matching.

Sourcemodule Subst : Intf.Subst with type term = Term.t

Substitutions.

module Index : 
  Intf.Term_index
    with type prim = P.t
     and type term = Term.t
     and type subst = Subst.t

Term indexing.