Kernel.Rewriter
type label = Lang.label
type head = Mavryk_benchmark_type_inference_alpha.Mikhailsky.Mikhailsky_signature.t
type path = Path.t
type patt = Patt.t
type node = (label, head) Mavryk_micheline.Micheline.node
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