elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Parse . Make

Parameters

module C : Config

Signature

include Parser
val program : file:string -> Ast.Program.decl list
val goal : loc:Elpi_util.Util.Loc.t -> text:string -> Ast.Goal.t
val program_from : loc:Elpi_util.Util.Loc.t -> Lexing.lexbuf -> Ast.Program.t
module Internal : sig ... end