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