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