Codex_options.GlobalsTypes
type t = string list
val set : t -> unit
val is_set : unit -> bool
val is_default : unit -> bool
val get : unit -> (Z.t * Types.Ctypes.typ) list