Function ukanren::eq

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

Goal for unifying two values.

Example

use ukanren::{eq, fresh};

fresh(|x| eq(&x, &42));