mini_kanren::goals::primitive
pub fn alwayso() -> impl Goal<StatSubs>
Creates a goal that always produces a substitution.