Set
type 'a t = 'a Set_.t
val empty : 'a Set_.t
val insert : 'a -> 'a Set_.t -> 'a Set_.t
val remove : 'a -> 'a Set_.t -> 'a Set_.t