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