Module `Key.Set`

type t =

val of_list : S.Key.key list -> S.Key.Set.t

val union : S.Key.Set.t -> S.Key.Set.t -> S.Key.Set.t

val inter : S.Key.Set.t -> S.Key.Set.t -> S.Key.Set.t

val diff : S.Key.Set.t -> S.Key.Set.t -> S.Key.Set.t

val fold : (S.Key.key -> 'a -> 'a) -> S.Key.Set.t -> 'a -> 'a

This should return the initial value in the Unreachable case

val print : Stdlib.Format.formatter -> S.Key.Set.t -> unit

Module Key.Set