method set_env = fun env -> {< env = env; >}