Function mini_kanren::goals::numbers::addo

pub fn addo(
    a: impl 'static + Into<Value>, 
    b: impl 'static + Into<Value>, 
    c: impl 'static + Into<Value>
) -> impl Goal<Substitution<'static>>

Creates a goal that succeeds if a + b equals c