Module Rewrite.Make

Parameters

module M : Micheline_sig.S with type head = X.t
module Path : Path.S
module Patt : Pattern.S with type head = X.t and type path = Path.t and type node = M.node

Signature

type label = M.label
type head = X.t
type path = Path.t
type patt = Patt.t
exception Rewrite_error of string * node option
val get_subterm : term:node -> path:path -> node
val subst : term:node -> path:path -> replacement:node -> node
val pattern_matches : patt -> node -> bool
val all_matches : patt -> node -> path list