sig   type 'a t   exception Global_not_initialized of string   val empty : string -> 'a Global.t   val name : 'a Global.t -> string   val set : 'a Global.t -> 'a -> unit   val get : 'a Global.t -> 'a   val undef : 'a Global.t -> unit   val isdef : 'a Global.t -> bool   val opt : 'a Global.t -> 'a option end