elpi

ELPI - Embeddable λProlog Interpreter
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library elpi
Module Elpi . API . Query
type name = string
type _ arguments =
| N : unit arguments
| D : 'a Conversion.t * 'a * 'x arguments -> 'x arguments
| Q : 'a Conversion.t * name * 'x arguments -> ('a * 'x) arguments
type 'x t =
| Query of {
predicate : name;
arguments : 'x arguments;
}
val compile : Compile.program -> Ast.Loc.t -> 'a t -> 'a Compile.query