pub fn eq( u: &impl ToValue, v: &impl ToValue) -> impl Goal<Iter = IntoIter<State>> + Clone + 'static
Goal for unifying two values.