Function mini_kanren::goals::list::cdro

pub fn cdro(
    p: impl 'static + Into<Value>, 
    d: impl 'static + Into<Value>
) -> impl Goal<Substitution<'static>>

Creates a goal that succeeds if p is a pair and its second element is equivalent to d.