Module 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