Execute (elpi.Elpi.API.Execute)

type 'a outcome =

| Success of 'a Data.solution

| Failure

| NoMoreSteps

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

val loop : 
  ?delay_outside_fragment:bool ->
  'a Compile.executable ->
  more:( unit -> bool ) ->
  pp:( float -> 'a 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.