Module Data.Global_symbolsSource

Sourcetype t = {
  1. mutable s2ct : (Elpi_util.Util.constant * term) Elpi_parser.Ast.Func.Map.t;
  2. mutable c2s : string Elpi_util.Util.Constants.Map.t;
  3. mutable last_global : int;
  4. mutable locked : bool;
}
Sourceval table : t
Sourceval declare_global_symbol : string -> Elpi_util.Util.constant
Sourceval lock : unit -> unit
Sourceval declare_constraintc : Elpi_util.Util.constant
Sourceval print_constraintsc : Elpi_util.Util.constant
Sourceval findall_solutionsc : Elpi_util.Util.constant