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