elpi

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

Parameters

Signature

exception Error of int
val program : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Ast.Program.t
val prefix_SYMB : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Ast.Func.t
val postfix_SYMB : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Ast.Func.t
val infix_SYMB : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Ast.Func.t