[−][src]Function mini_kanren::goals::numbers::numbero
pub fn numbero(
n: impl 'static + Into<Value>
) -> impl Goal<Substitution<'static>>
Creates a goal that succeeds if n is a natural number.
pub fn numbero(
n: impl 'static + Into<Value>
) -> impl Goal<Substitution<'static>>
Creates a goal that succeeds if n is a natural number.