let coq_for_env ~env = env