package term-indexing

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Make(P) takes a signature as input and returns a module packing the main features of the library.

Parameters

module P : Intf.Signature

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

First-order terms.

module 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.

module 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.