-(* The fact of being able to decide, via a computable boolean function, the
+(*
+\ 5h1 class="section"\ 5Effective searching/h1\ 6
+The fact of being able to decide, via a computable boolean function, the
equality between elements of a given set is an essential prerequisite for
effectively searching an element of that set inside a data structure. In this
section we shall define several boolean functions acting on lists of elements in