package elpi
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 elpi_stdlib : Elpi_API.Extend.BuiltInPredicate.declaration list
val std_declarations : Elpi_API.Extend.BuiltInPredicate.declaration list
val std_builtins : Elpi_API.Setup.builtins
val pair :
'a Elpi_API.Extend.BuiltInPredicate.data ->
'b Elpi_API.Extend.BuiltInPredicate.data ->
('a * 'b) Elpi_API.Extend.BuiltInPredicate.data
val option :
'a Elpi_API.Extend.BuiltInPredicate.data ->
'a option Elpi_API.Extend.BuiltInPredicate.data
val bool : bool Elpi_API.Extend.BuiltInPredicate.data
val in_stream :
(Stdlib.in_channel * string) Elpi_API.Extend.BuiltInPredicate.data
val out_stream :
(Stdlib.out_channel * string) Elpi_API.Extend.BuiltInPredicate.data
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>