Module MapDomain.PatriciaMapSource

Parameters

Signature

Sourcetype key = K.t
Sourcetype 'a t
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval mem : key -> 'a t -> bool
Sourceval add : key -> 'a -> 'a t -> 'a t
Sourceval singleton : key -> 'a -> 'a t
Sourceval remove : key -> 'a t -> 'a t
Sourceval idempotent_union : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval nonidempotent_union : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval idempotent_inter : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval nonidempotent_inter : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval idempotent_inter_filter : ('a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
Sourceval nonidempotent_inter_filter : ('a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
Sourceval difference : ('a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
Sourceval reflexive_compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
Sourceval reflexive_equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval reflexive_subset_domain_for_all2 : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit
Sourceval fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval for_all : (key -> 'a -> bool) -> 'a t -> bool
Sourceval exists : (key -> 'a -> bool) -> 'a t -> bool
Sourceval filter : (key -> 'a -> bool) -> 'a t -> 'a t
Sourceval cardinal : 'a t -> int
Sourceval bindings : 'a t -> (key * 'a) list
Sourceval choose : 'a t -> key * 'a
Sourceval find : key -> 'a t -> 'a
Sourceval find_opt : key -> 'a t -> 'a option
Sourceval map : ('a -> 'a) -> 'a t -> 'a t
Sourceval mapi : (key -> 'a -> 'a) -> 'a t -> 'a t