Module `CoreAndMore.Hset`Source

Sourcetype 'a elt

Sourcetype 'a t =

Sourceval empty : 'a t

Sourceval is_empty : 'a t -> bool

val singleton : 
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed ->
  'a t

Sourceval zero_bit : int -> int -> bool

val mem : 
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed ->
  'b t ->
  bool

Sourceval lowest_bit : int -> int

Sourceval branching_bit : int -> int -> int

Sourceval mask : int -> int -> int

Sourceval unsigned_lt : int -> int -> bool

Sourceval join : (int * 'a t * int * 'a t) -> 'a t

Sourceval match_prefix : int -> int -> int -> bool

val add : 
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed ->
  'a t ->
  'a t

Sourceval branch : (int * int * 'a t * 'a t) -> 'a t

val remove : 
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed ->
  'b t ->
  'b t

Sourceval merge : ('a t * 'a t) -> 'a t

Sourceval union : 'a t -> 'a t -> 'a t

Sourceval subset : 'a t -> 'b t -> bool

Sourceval inter : 'a t -> 'a t -> 'a t

Sourceval diff : 'a t -> 'b t -> 'a t

Sourceval cardinal : 'a t -> int

val iter : 
  ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> unit) ->
  'a t ->
  unit

val fold : 
  ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b -> 'b) ->
  'a t ->
  'b ->
  'b

val for_all : 
  ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) ->
  'a t ->
  bool

val exists : 
  ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) ->
  'a t ->
  bool

val filter : 
  ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) ->
  'a t ->
  'a t

val partition : 
  ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) ->
  'a t ->
  'a t * 'a t

val choose : 
  'a t ->
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed

val elements : 
  'a t ->
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed list

val min_elt : 
  'a t ->
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed

val max_elt : 
  'a t ->
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed

Sourceval equal : 'a -> 'a -> bool

Sourceval compare : 'a -> 'b -> 'c

val make : 
  'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed list ->
  'a t

Sourceval intersect : 'a t -> 'b t -> bool

package core-and-more