sig 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 end