Up – Package index » elpi » Library elpi.parser » Elpi_parser » Grammar » Make

Module `Grammar.Make`

Parameters

module C : Parser_config.ParseFile

type token = Elpi_lexer_config.Tokens.token

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

val goal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Term.t