Module `Key.Set`

type t =

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

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

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

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

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

This should return the initial value in the Unreachable case

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

Module Key.Set