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: