Utils.List_set
val subset : ?compare:('a -> 'a -> int) -> 'b list -> 'a list -> bool
val is_proper_set : 'a list -> bool