PatriciaTree.HeterogeneousSet_S
Module type of a set containing different keys, very similar to Set_S
, but with simple type key
being replaced by type constructor 'a key
.
Underlying basemap, for cross map/set operations
type t = unit BaseMap.t
type 'a key = 'a BaseMap.key
val empty : t
val is_empty : t -> bool
val cardinal : t -> int
val filter : polypredicate -> t -> t
val for_all : polypredicate -> t -> bool
val pretty :
?pp_sep:(Stdlib.Format.formatter -> unit -> unit) ->
polypretty ->
Stdlib.Format.formatter ->
t ->
unit
pp_sep
defaults to Format.pp_print_cut