Up – Package index » elpi » Library elpi.parser » Elpi_parser » Parse » Make » Internal

Module `Make.Internal`Source

val infix_SYMB : 
  (Lexing.lexbuf -> Elpi_lexer_config.Tokens.token) ->
  Lexing.lexbuf ->
  Ast.Func.t

val prefix_SYMB : 
  (Lexing.lexbuf -> Elpi_lexer_config.Tokens.token) ->
  Lexing.lexbuf ->
  Ast.Func.t

val postfix_SYMB : 
  (Lexing.lexbuf -> Elpi_lexer_config.Tokens.token) ->
  Lexing.lexbuf ->
  Ast.Func.t