Module type Abstract.Interface

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:

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.