:: a -> [a] -> Bool -package:text-ldap -package:Agda package:basic-prelude

Does the element occur in the structure?
Does the element occur in the structure?