Js_of_ocaml_compiler.Subst
val program : (Code.Var.t -> Code.Var.t) -> Code.program -> Code.program
val expr : (Code.Var.t -> Code.Var.t) -> Code.expr -> Code.expr
val instr : (Code.Var.t -> Code.Var.t) -> Code.instr -> Code.instr
val instrs :
(Code.Var.t -> Code.Var.t) ->
(Code.instr * Code.loc) list ->
(Code.instr * Code.loc) list
val block : (Code.Var.t -> Code.Var.t) -> Code.block -> Code.block
val last :
(Code.Var.t -> Code.Var.t) ->
(Code.last * Code.loc) ->
Code.last * Code.loc
val cont : (Code.Var.t -> Code.Var.t) -> int -> Code.program -> Code.program
val 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
val from_array : Code.Var.t array -> Code.Var.t -> Code.Var.t
val build_mapping :
Code.Var.t list ->
Code.Var.t list ->
Code.Var.t Js_of_ocaml_compiler.Code.Var.Map.t
val from_map :
Code.Var.t Js_of_ocaml_compiler.Code.Var.Map.t ->
Code.Var.t ->
Code.Var.t