core-and-more

Includes core, and some more useful extensions
package core-and-more
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library core-and-more
Module CoreAndMore . Hset
type 'a elt = 'a hash_consed
type 'a t =
| Empty
| Leaf of 'a hash_consed
| Branch of int * int * 'a t * 'a t
val empty : 'a t
val is_empty : 'a t -> bool
val singleton : 'a hash_consed -> 'a t
val zero_bit : int -> int -> bool
val mem : 'a 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 hash_consed -> 'b t -> 'c t
val branch : (int * int * 'a t * 'a t) -> 'a t
val remove : 'a 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 hash_consed -> unit ) -> 'b t -> unit
val fold : ( 'a hash_consed -> 'b -> 'c ) -> 'd t -> 'e -> 'f
val for_all : ( 'a hash_consed -> bool ) -> 'b t -> bool
val exists : ( 'a hash_consed -> bool ) -> 'b t -> bool
val filter : ( 'a hash_consed -> bool ) -> 'b t -> 'c t
val partition : ( 'a hash_consed -> bool ) -> 'b t -> 'c t * 'd t
val choose : 'a t -> 'b hash_consed
val elements : 'a t -> 'a hash_consed list
val min_elt : 'a t -> 'b hash_consed
val max_elt : 'a t -> 'b hash_consed
val equal : 'a -> 'a -> bool
val compare : 'a -> 'b -> 'c
val make : 'a hash_consed list -> 'a t
val intersect : 'a t -> 'b t -> bool