package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-2.0.6.tbz
sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375
sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c
doc/elpi.runtime/Elpi_runtime/Data/Global_symbols/index.html
Module Data.Global_symbolsSource
Source
type t = {mutable s2ct : (Elpi_util.Util.constant * term) Elpi_parser.Ast.Func.Map.t;mutable c2s : string Elpi_util.Util.Constants.Map.t;mutable last_global : int;mutable locked : bool;
}