Utils.List_set
val subset : ?compare:??? -> 'a list -> 'a list -> bool
val is_proper_set : 'a list -> bool