(membero x l)
A relation where l is a collection, such that l contains x.
;; Usage: (membero x l) (run* [q] (membero :a [q :b :c])) ;; :a (run* [q] (membero q [:a :b :c])) ;; [:a :b :c]