:: a -> [a] -> Bool -package:text-ldap -package:Agda -package:incipit-base package:data-ordlist

The member function returns True if the element appears in the ordered list.