package term-tools

You can search for identifiers within the package.

in-package search v0.2.0

Module `Term_tools.Zipper`Source

Sourcemodule type Zipper_impl = sig ... end

module Make_gen
  (P : Intf.Signature)
  (T : Intf.Term with type prim = P.t)
  (S : Zipper_impl with type term = T.t) : 
  Intf.Zipper with type term = T.t and type 'a with_state = 'a * S.state

This module implements zippers over first-order terms.

Source

module Make
  (P : Intf.Signature)
  (T : Intf.Term with type prim = P.t) : 
  Intf.Zipper with type term = T.t and type 'a with_state = 'a

This module implements zippers over first-order terms.

Source

module Make_stateful
  (P : Intf.Signature)
  (T : Intf.Term with type prim = P.t)
  (S : Intf.Subst with type term = T.t) : 
  Intf.Zipper with type term = T.t and type 'a with_state = 'a * S.t

This module implements zippers over first-order terms.

package term-tools

Module Term_tools.ZipperSource

Module `Term_tools.Zipper`Source