functor (T : TYPE->
  sig type t = T.t val get : string -> t val set : string -> t -> unit end