set.ml

(** Subset of the Set.S signature *)
module type Set = sig
  type t
  val subset : t -> t -> bool
end


let f (type set) (module S : Set with type t = set) (s : set) (l : set list) =
  List.exists (S.subset s) l