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