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:

val set : 'a key ->
'a -> t -> t

For a key of type k key: