[−][src]Function mini_kanren::goals::numbers::mulo
pub fn mulo(
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