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