module 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 list -> Code.instr list

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

val from_array : Code.Var.t option array -> Code.Var.t -> Code.Var.t

val build_mapping : Code.Var.t list -> Code.Var.t list -> Code.Var.t Code.VarMap.t

val from_map : Code.Var.t Code.VarMap.t -> Code.Var.t -> Code.Var.t