Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val core_builtins : Elpi_API.Extend.BuiltInPredicate.declaration listval io_builtins : Elpi_API.Extend.BuiltInPredicate.declaration listval lp_builtins : Elpi_API.Extend.BuiltInPredicate.declaration listval elpi_builtins : Elpi_API.Extend.BuiltInPredicate.declaration listval elpi_nonlogical_builtins :
Elpi_API.Extend.BuiltInPredicate.declaration listval std_declarations : Elpi_API.Extend.BuiltInPredicate.declaration listval std_builtins : Elpi_API.Setup.builtins