Key.Set
type t =
| Ok of Raw_set.t
| Unreachable
val of_list : key list -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val fold : (key -> 'a -> 'a) -> t -> 'a -> 'a
This should return the initial value in the Unreachable case
Unreachable
val print : Format.formatter -> t -> unit