package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (19)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.4.5.tbz
sha256=71c93a5ea0bdf19f656f70984bc2bf681d5639c9230325f3675e2f5f8d6726f2
sha512=d6a87bf1ba6bfb6f773075295137d037e007252ecf16aa026c151df11bc498efe56d5d5369920c2dad3b53373cba75378731cd752d08e07353a1c68063d2cd2a

doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/index.html

Module Elpi_runtime.Runtime_trace_offSource

Sourcemodule Pp : sig ... end
Sourceval pp_stuck_goal : ?pp_ctx:Data.pp_ctx -> Elpi_runtime.Data.Fmt.formatter -> Data.stuck_goal -> unit
Sourceval execute_once : ?max_steps:int -> ?delay_outside_fragment:bool -> Data.executable -> 'a Data.outcome
Sourceval execute_loop : ?delay_outside_fragment:bool -> Data.executable -> more:(unit -> bool) -> pp:(float -> 'a Data.outcome -> unit) -> unit
Sourceval deref_uv : ?oc:Data.occur_check -> to_:int -> Data.uvar -> int -> Data.term
Sourceval deref_appuv : ?oc:Data.occur_check -> to_:int -> Data.uvar -> Data.term list -> Data.term
Sourceval deref_apparg : ?oc:Data.occur_check -> from:int -> to_:int -> Data.term -> Data.term list -> Data.term
Sourceval deref_head : depth:int -> Data.term -> Data.term
Sourceval eta_contract_flex : depth:int -> Data.term -> Data.term option
Sourceval is_flex : depth:int -> Data.term -> Data.uvar option
Sourceval expand_uv : depth:int -> Data.uvar -> ano:int -> Data.term
Sourceval expand_appuv : depth:int -> Data.uvar -> args:Data.term list -> Data.term
Sourceval lp_list_to_list : depth:int -> Data.term -> Data.term list
Sourceval list_to_lp_list : Data.term list -> Data.term
Sourceval split_conj : depth:int -> Data.term -> Data.term list
Sourceval mkinterval : int -> int -> int -> Data.term list
Sourceval mkAppArg : int -> int -> Data.term list -> Data.term
Sourceval move : argsdepth:int -> Data.env -> ?oc:Data.occur_check -> from:int -> to_:int -> Data.term -> Data.term
Sourceval hmove : ?oc:Data.occur_check -> from:int -> to_:int -> Data.term -> Data.term
Sourceval subst : depth:int -> Data.term list -> Data.term -> Data.term
Sourceval get_suspended_goal : Data.blockers -> 'a Data.stuck_goal_kind -> Data.suspended_goal option
Sourceval full_deref : depth:int -> Data.term -> Data.term
Sourceval lex_insertion : int list -> int list -> int
Sourcemodule CompileTime : sig ... end
Sourcemodule Indexing : sig ... end