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