package core-and-more

  1. Overview
  2. Docs
package core-and-more
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a elt
type 'a t =
  1. | Empty
  2. | Branch of int * int * 'a t * 'a t
val empty : 'a t
val is_empty : 'a t -> bool
val singleton : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'a t
val zero_bit : int -> int -> bool
val mem : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b t -> bool
val lowest_bit : int -> int
val branching_bit : int -> int -> int
val mask : int -> int -> int
val unsigned_lt : int -> int -> bool
val join : (int * 'a t * int * 'a t) -> 'b t
val match_prefix : int -> int -> int -> bool
val add : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b t -> 'c t
val branch : (int * int * 'a t * 'a t) -> 'a t
val remove : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b t -> 'b t
val merge : ('a t * 'a t) -> 'a t
val union : 'a t -> 'a t -> 'a t
val subset : 'a t -> 'b t -> bool
val inter : 'a t -> 'a t -> 'a t
val diff : 'a t -> 'b t -> 'a t
val cardinal : 'a t -> int
val iter : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> unit) -> 'b t -> unit
val fold : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b -> 'c) -> 'd t -> 'e -> 'f
val for_all : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) -> 'b t -> bool
val exists : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) -> 'b t -> bool
val filter : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) -> 'b t -> 'c t
val partition : ('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> bool) -> 'b t -> 'c t * 'd t
val choose : 'a t -> 'b 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 -> 'b CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed
val max_elt : 'a t -> 'b CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed
val equal : 'a -> 'a -> bool
val compare : 'a -> 'b -> 'c
val make : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed list -> 'a t
val intersect : 'a t -> 'b t -> bool