package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

sha256=0e67d3bdbdda3495446e5835544f626d41985a84c361e9a70ee28cff828a71e0

sha512=d64cd2e5e958c1588e39518eeaf1a08883182e0c64831fde7132f184a78f586ce33f5c4e73f8f444288176aa8367fa6301e384303c46ed9c04bef37c4d7fcfcd

Sourceexception TREC_CALL of Stdlib.Obj.t * Stdlib.Obj.t

Sourcetype j =

val enter : 
  runtime_id:int ->
  string ->
  (Stdlib.Format.formatter -> unit) ->
  unit

Sourceval info : runtime_id:int -> ?goal_id:int -> string -> j list -> unit

Sourceval exit : runtime_id:int -> string -> bool -> exn option -> float -> unit

Sourceval end_trace : runtime_id:int -> unit

Sourceval set_cur_pred : string option -> unit

Sourceval get_cur_step : runtime_id:int -> string -> int

Sourceval incr_cur_step : runtime_id:int -> string -> unit

Sourceval log : runtime_id:int -> string -> string -> int -> unit

Sourceval debug : bool Stdlib.ref

Sourceval parse_argv : string list -> string list

Sourceval usage : string

Sourcetype trace_format =

Sourceval set_trace_output : trace_format -> Stdlib.Format.formatter -> unit