+ let label = Temp.Label.gen () in
+ let level =
+ Translate.Level.next
+ (Env.level_get env)
+ ~name:label
+ (* Assuming all escape (for now) *)
+ ~formals:(List.map formals ~f:(fun _ -> true))
+ in
+ let env = Env.level_set env level in
+ Env.set_val env name (Value.Fun {formals; result; level; label})