Subst.Excluding_BindersThe operations of this module substitute variable names that appear in expressions, except for binders, i.e., names on the right-hand side of a Code.instr.Let.
val program : (Code.Var.t -> Code.Var.t) -> Code.program -> Code.programval expr : (Code.Var.t -> Code.Var.t) -> Code.expr -> Code.exprval instr : (Code.Var.t -> Code.Var.t) -> Code.instr -> Code.instrval instrs : (Code.Var.t -> Code.Var.t) -> Code.instr list -> Code.instr listval block : (Code.Var.t -> Code.Var.t) -> Code.block -> Code.blockval last : (Code.Var.t -> Code.Var.t) -> Code.last -> Code.lastval cont : (Code.Var.t -> Code.Var.t) -> int -> Code.program -> Code.programval cont' :
(Code.Var.t -> Code.Var.t) ->
int ->
Code.block Js_of_ocaml_compiler.Code.Addr.Map.t ->
Js_of_ocaml_compiler.Code.Addr.Set.t ->
Code.block Js_of_ocaml_compiler.Code.Addr.Map.t
* Js_of_ocaml_compiler.Code.Addr.Set.t