:: Eq a => [a] -> a -> Bool -package:base-compat -package:util -package:Agda -package:data-ordlist package:text-ldap

Test element using ordered set.
Test not element using ordered set.