pub type Environment = Environment<Interner>;
struct Environment { pub clauses: ProgramClauses<Interner>, }
clauses: ProgramClauses<Interner>
The clauses in the environment.