Trait GoalInEnvironment
chalk_engine::context
pub trait GoalInEnvironment<C: Context>: Debug + Clone + Eq + Ord + Hash { fn environment(&self) -> &C::Environment; }
fn environment(&self) -> &C::Environment