module type Zipper_impl = sig ... endmodule 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.stateThis module implements zippers over first-order terms.
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 = 'aThis module implements zippers over first-order terms.
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.tThis module implements zippers over first-order terms.