Module Kappa_data_structures.IntCollection

Imperative int set

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 : Stdlib.Random.State.t -> t -> int option
val fold : (int -> 'a -> 'a) -> t -> 'a -> 'a
val print : Stdlib.Format.formatter -> t -> unit