core-and-more
Includes core, and some more useful extensions
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package core-and-more
-
core-and-more
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library core-and-more
type 'a elt = 'a hash_consed
val empty : 'a t
val is_empty : 'a t -> bool
val singleton : 'a hash_consed -> 'a t
val mem : 'a hash_consed -> 'b t -> bool
val add : 'a hash_consed -> 'b t -> 'c t
val remove : 'a hash_consed -> 'b t -> 'b 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 make : 'a hash_consed list -> 'a t
ON THIS PAGE
No table of contents