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