package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a
doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/index.html
Module Elpi_runtime.Runtime_trace_off
Source
Source
val pp_stuck_goal :
?pp_ctx:Data.pp_ctx ->
Elpi_runtime.Data.Fmt.formatter ->
Data.stuck_goal ->
unit
Source
val execute_once :
?max_steps:int ->
?delay_outside_fragment:bool ->
Data.executable ->
'a Data.outcome
Source
val execute_loop :
?delay_outside_fragment:bool ->
Data.executable ->
more:(unit -> bool) ->
pp:(float -> 'a Data.outcome -> unit) ->
unit
Source
val deref_uv :
?avoid:Data.uvar_body ->
from:Elpi_util.Util.constant ->
to_:Elpi_util.Util.constant ->
int ->
Data.term ->
Data.term
Source
val deref_appuv :
?avoid:Data.uvar_body ->
from:Elpi_util.Util.constant ->
to_:Elpi_util.Util.constant ->
Data.term list ->
Data.term ->
Data.term
Source
val move :
argsdepth:int ->
Data.env ->
?avoid:Data.uvar_body ->
from:int ->
to_:int ->
Data.term ->
Data.term
Source
val get_suspended_goal :
Data.blockers ->
'a Data.stuck_goal_kind ->
Data.suspended_goal option
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>