Kappa_generic_toolset.IntCollection
type t
val create : int -> t
create initial_guess_size
val is_empty : t -> bool
val size : t -> int
val mem : int -> t -> bool
val add : int -> t -> unit
val remove : int -> t -> unit
val random : Random.State.t -> t -> int option
val fold : (int -> 'a -> 'a) -> t -> 'a -> 'a
val print : Format.formatter -> t -> unit