Trait chalk_engine::context::DomainGoal [] [src]

pub trait DomainGoal<C: Context>: Clone + Debug + Eq + Hash + Ord {
    fn into_goal(self) -> C::Goal;
}

Required Methods

Implementors