sig
type t
type 'a key
val mem : 'a Structure.External.key -> bool
val get : 'a Structure.External.key -> (Structure.External.t -> 'a) option
val set :
'a Structure.External.key ->
'a -> Structure.External.t -> Structure.External.t
end