25 val isnilb : 'a1 List.list -> Bool.bool
27 val memb : Deqsets.deqSet -> __ -> __ List.list -> Bool.bool
29 val uniqueb : Deqsets.deqSet -> __ List.list -> Bool.bool
32 Deqsets.deqSet -> __ List.list -> __ List.list -> __ List.list
34 val exists : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool