Module `Subst.Including_Binders`

The operations of this module also substitute the variables names that appear on the left-hand-side of a Code.instr.Let, or as block parameters, or as closure parameters, or are bound by an exception handler.

val instr : 
  (Js_of_ocaml_compiler.Code.Var.t -> Js_of_ocaml_compiler.Code.Var.t) ->
  Js_of_ocaml_compiler.Code.instr ->
  Js_of_ocaml_compiler.Code.instr

val instrs : 
  (Js_of_ocaml_compiler.Code.Var.t -> Js_of_ocaml_compiler.Code.Var.t) ->
  Js_of_ocaml_compiler.Code.instr list ->
  Js_of_ocaml_compiler.Code.instr list

val block : 
  (Js_of_ocaml_compiler.Code.Var.t -> Js_of_ocaml_compiler.Code.Var.t) ->
  Js_of_ocaml_compiler.Code.block ->
  Js_of_ocaml_compiler.Code.block

module And_Continuations : sig ... end

Module Subst.Including_Binders

Module `Subst.Including_Binders`