module Pp : sig ... endval pp_stuck_goal :
?pp_ctx:Data.pp_ctx ->
Elpi_runtime.Data.Fmt.formatter ->
Data.stuck_goal ->
unitval execute_once :
?max_steps:int ->
?delay_outside_fragment:bool ->
Data.executable ->
'a Data.outcomeval execute_loop :
?delay_outside_fragment:bool ->
Data.executable ->
more:(unit -> bool) ->
pp:(float -> 'a Data.outcome -> unit) ->
unitval deref_uv :
?avoid:Data.uvar_body ->
from:Elpi_util.Util.constant ->
to_:Elpi_util.Util.constant ->
int ->
Data.term ->
Data.termval deref_appuv :
?avoid:Data.uvar_body ->
from:Elpi_util.Util.constant ->
to_:Elpi_util.Util.constant ->
Data.term list ->
Data.term ->
Data.termval is_flex : depth:int -> Data.term -> Data.uvar_body optionval expand_uv : depth:int -> Data.uvar_body -> lvl:int -> ano:int -> Data.termval expand_appuv :
depth:int ->
Data.uvar_body ->
lvl:int ->
args:Data.term list ->
Data.termval mkinterval : int -> int -> int -> Data.term listval mkConst : Elpi_util.Util.constant -> Data.termval mkAppL : Elpi_util.Util.constant -> Data.term list -> Data.termval move :
argsdepth:int ->
Data.env ->
?avoid:Data.uvar_body ->
from:int ->
to_:int ->
Data.term ->
Data.termval hmove :
?avoid:Data.uvar_body ->
from:int ->
to_:int ->
Data.term ->
Data.termval get_suspended_goal : 'a Data.stuck_goal_kind -> Data.suspended_goal optionmodule CompileTime : sig ... end