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