Key.Set
type t =
| Ok of Raw_set.t
| Unreachable
val of_list : Raw_set.elt list -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val fold : (Raw_set.elt -> 'a -> 'a) -> t -> 'a -> 'a
val print : Format.formatter -> t -> unit