:: 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.
The has function returns True if the element appears in the list; it is equivalent to member except the order of the arguments is reversed, making it a function from an ordered list to its characteristic function.