Module Env.Local_vars

module Local_vars: sig .. end

val push_new : Env.t -> Env.t
val add : Env.t -> Typing.number_ty -> Env.t
val get : Env.t -> Typing.Function_params_ty.t