module type Interface =sig
..end
External interface of an abstraction, built by Structure.Open
.
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
:
t
contain a subpart of type k
from a module
identified by the key, then get key
returns an accessor for it.get key
returns None.val set : 'a key ->
'a -> t -> t
For a key of type k key
:
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
.set key _
is the identity function.