module Univ_map:sig
..end
These maps are useful for storing values of arbitrary type in a single map. In order
to recover a value, it must be looked up with exactly the Key.t
it was stored in.
In other words, given different Key.t
's from the same string
, one will not be able
to recover the key stored in the other one.
This is similar to Univ
in spirit.
include Univ_map_intf
include S
module Make:functor (
Data
:
sig
type
'a
tval 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)
tval sexp_of_t :('s -> Sexplib.Sexp.t) ->
('a -> Sexplib.Sexp.t) -> ('s, 'a) t -> Sexplib.Sexp.tend
) ->
S1
with type ('s, 'a) data = ('s, 'a) Data.t
module With_default:sig
..end
find
is no longer partial
module With_fold:sig
..end
module Multi:sig
..end