Up
Module
Univ_map
=
Core_kernel.Univ_map
Signature
include
module type of
Core_kernel.Univ_map_intf
module
Key
=
Core_kernel.Type_equal.Id
module type
S
= sig .. end
module type
S1
= sig .. end
include
S
with
type
'a data = 'a
module
Make
(
Data
: sig .. end) :
S
with
type
'a
data
= 'a
Data.t
module
Make1
(
Data
: sig .. 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