module Local_vars: sig .. end
sig
end
val push_new : Env.t -> Env.t
Env.t -> Env.t
val add : Env.t -> Typing.number_ty -> Env.t
Env.t -> Typing.number_ty -> Env.t
val get : Env.t -> Typing.Function_params_ty.t
Env.t -> Typing.Function_params_ty.t