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 list
val io_builtins : Elpi_API.Extend.BuiltInPredicate.declaration list
val lp_builtins : Elpi_API.Extend.BuiltInPredicate.declaration list
val elpi_builtins : Elpi_API.Extend.BuiltInPredicate.declaration list
val elpi_nonlogical_builtins :
Elpi_API.Extend.BuiltInPredicate.declaration list
val std_declarations : Elpi_API.Extend.BuiltInPredicate.declaration list
val std_builtins : Elpi_API.Setup.builtins