Module `Subst.Excluding_Binders`

The 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 : 
  (Js_of_ocaml_compiler.Code.Var.t -> Js_of_ocaml_compiler.Code.Var.t) ->
  Js_of_ocaml_compiler.Code.program ->
  Js_of_ocaml_compiler.Code.program

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

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

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

val cont : 
  (Js_of_ocaml_compiler.Code.Var.t -> Js_of_ocaml_compiler.Code.Var.t) ->
  int ->
  Js_of_ocaml_compiler.Code.program ->
  Js_of_ocaml_compiler.Code.program

val cont' : 
  (Js_of_ocaml_compiler.Code.Var.t -> Js_of_ocaml_compiler.Code.Var.t) ->
  int ->
  Js_of_ocaml_compiler.Code.block Js_of_ocaml_compiler.Code.Addr.Map.t ->
  Js_of_ocaml_compiler.Code.Addr.Set.t ->
  Js_of_ocaml_compiler.Code.block Js_of_ocaml_compiler.Code.Addr.Map.t
  * Js_of_ocaml_compiler.Code.Addr.Set.t

Module Subst.Excluding_Binders

Module `Subst.Excluding_Binders`