Function mini_kanren::goals::numbers::oneo

pub fn oneo(n: impl Into<Value>) -> impl Goal<StatSubs>

Creates a goal that succeeds if n is 1.