module Set_list: sig end
type 'a
set
val empty : 'a set
val singleton : 'a -> 'a set
val of_list : 'a list -> 'a set
val to_list : 'a set -> 'a list
val intersection : 'a set -> 'a set -> 'a set
val subtract : 'a set -> 'a set -> 'a set
val has_intersection : 'a set -> 'a set -> bool
val union : 'a set -> 'a set -> 'a set
val subtract : 'a set -> 'a set -> 'a set
val mem : 'a -> 'a set -> bool
val iter : ('a -> unit) -> 'a set -> unit