module Univ_map: Univ_map
include Univ_map_intf
include S
module Make: functor (
Data
:
sig
type 'a
t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
end
) ->
S
with type 'a data = 'a Data.t
module Make1: functor (
Data
:
sig
type ('s, 'a)
t
val sexp_of_t : ('s -> Sexplib.Sexp.t) ->
('a -> Sexplib.Sexp.t) -> ('s, 'a) t -> Sexplib.Sexp.t
end
) ->
S1
with type ('s, 'a) data = ('s, 'a) Data.t
module With_default: sig
.. end
keys with associated default values, so that find
is no longer partial
module With_fold: sig
.. end
keys that map to an accumulator value with an associated fold operation
module Multi: sig
.. end
list-accumulating keys with a default value of the empty list