Trait chalk_engine::context::GoalInEnvironment [] [src]

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

Required Methods

Implementors