Function mini_kanren::goals::numbers::zero

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

Creates a goal that succeeds if n is 0.