Module Data.Global_symbols

type t = {
  1. mutable s2ct : (Elpi_util.Util.constant * term) Symbol.RawMap.t;
  2. mutable c2s : Symbol.symbol Elpi_util.Util.Constants.Map.t;
  3. mutable last_global : int;
  4. mutable locked : bool;
}
val table : t
val declare_global_symbol : ?variant:int -> string -> Elpi_util.Util.constant
val declare_overloaded_global_symbol : string -> Elpi_util.Util.constant * int
val lock : unit -> unit
val cut : Symbol.symbol
val and_ : Symbol.symbol
val impl : Symbol.symbol
val rImpl : Symbol.symbol
val pi : Symbol.symbol
val sigma : Symbol.symbol
val eq : Symbol.symbol
val match_ : Symbol.symbol
val findall : Symbol.symbol
val delay : Symbol.symbol
val as_ : Symbol.symbol
val uvar : Symbol.symbol
val nil : Symbol.symbol
val cons : Symbol.symbol