package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type outcome =

val once : 
  ?max_steps:int ->
  ?delay_outside_fragment:bool ->
  Compile.executable ->
  outcome

val loop : 
  ?delay_outside_fragment:bool ->
  Compile.executable ->
  more:(unit -> bool) ->
  pp:(float -> outcome -> unit) ->
  unit

Prolog's REPL. pp is called on all solutions. more is called to know if another solution has to be searched for.