Module chalk_solve::clauses::env_elaborator

Structs

• EnvElaborator 🔒

Functions

• elaborate_env_clauses 🔒
  When proving a FromEnv goal, we elaborate all FromEnv goals found in the environment.