package elpi
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.6.2.tbz
sha256=0431382f9a9865f68cb7ee898af34124868919e0d27f913e2b0d567ab6bf5859
sha512=7c5dec6a47a648c626c9cfc2abd36a02ec9fd34239cd6b8e672d979209005a11499a94511fab46e2d903eec64b4496697f5b5a93ae2522b2c9e0a581860a8287
doc/elpi.runtime/Elpi_runtime/Runtime/Pp/index.html
Module Runtime.PpSource
Source
val ppterm :
?pp_ctx:Data.pp_ctx ->
?min_prec:int ->
int ->
string list ->
argsdepth:int ->
Data.env ->
Format.formatter ->
Data.term ->
unitSource
val uppterm :
?pp_ctx:Data.pp_ctx ->
?min_prec:int ->
int ->
string list ->
argsdepth:int ->
Data.env ->
Format.formatter ->
Data.term ->
unitSource
val pp_oref :
?pp_ctx:Data.pp_ctx ->
Format.formatter ->
(Elpi_util.Util.UUID.t * Obj.t) ->
unit sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>