[−][src]Function mini_kanren::goals::list::rembero
pub fn rembero(
x: impl 'static + Into<Value>,
l: impl 'static + Into<Value>,
out: impl 'static + Into<Value>
) -> impl Goal<Substitution<'static>>
Creates a goal that succeeds if element x can be removed from list l to form list out. If x does not occur in l it fails.