package term-tools

  1. Overview
  2. Docs

Module Term_tools.MakeSource

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

Parameters

module P : Intf.Signature

Signature

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

First-order terms.

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

Handling substitutions.

Sourcemodule Zipper : Intf.Zipper with type term = Term.t and type 'a with_state = 'a

Zipper.

Sourcemodule Pattern : Intf.Pattern with type prim = P.t and type term = Term.t and type zipper = Zipper.t and type 'a with_state := 'a Zipper.with_state

Patterns over first-order terms and pattern matching.

Sourcemodule Unification : Intf.Unification with type term = Term.t and type subst = Subst.t

Solving unification problems on first-order terms.

Sourcemodule Term_graph : sig ... end