module type Creators = sig .. end
type ('k, 'v, 'comparator) t
type ('k, 'v, 'comparator) tree
type 'k key
type ('a, 'comparator, 'z) create_options
val empty : ('k, 'comparator, ('k, 'a, 'comparator) t)
create_options
the empty map
val singleton : ('k, 'comparator,
'k key ->
'v -> ('k, 'v, 'comparator) t)
create_options
map with one key, data pair
val of_alist : ('k, 'comparator,
('k key * 'v) list ->
[ `Duplicate_key of 'k key
| `Ok of ('k, 'v, 'comparator) t ])
create_options
creates map from association list with unique keys
val of_alist_exn : ('k, 'comparator,
('k key * 'v) list ->
('k, 'v, 'comparator) t)
create_options
creates map from association list with unique keys. Raises an exception if
duplicate 'a keys are found.
val of_alist_multi : ('k, 'comparator,
('k key * 'v) list ->
('k, 'v list, 'comparator) t)
create_options
creates map from association list with possibly repeated keys.
val of_alist_fold : ('k, 'comparator,
('k key * 'v1) list ->
init:'v2 ->
f:('v2 -> 'v1 -> 'v2) -> ('k, 'v2, 'comparator) t)
create_options
combines an association list into a map, folding together bound values with common
keys
val of_tree : ('k, 'comparator,
('k key, 'v, 'comparator) tree ->
('k, 'v, 'comparator) t)
create_options