[][src]Function mini_kanren::goals::list::pairo

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

Creates a goal that succeeds if p is a pair.