module type Interface = sig
.. end
type
t
type 'a
key
val mem : 'a key -> bool
Tests whether a key belongs to the module.
val get : 'a key -> (t -> 'a) option
For a key of type
k key
:
- if the values of type
t
contain a subpart of type k
from a module
identified by the key, then get key
returns an accessor for it.
- otherwise,
get key
returns None.
val set : 'a key ->
'a -> t -> t
For a key of type
k key
:
- if the values of type
t
contain a subpart of type k
from a module
identified by the key, then set key v t
returns the value t
in which
this subpart has been replaced by v
.
- otherwise,
set key _
is the identity function.