package elpi

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Grammar.MakeSource

Parameters

Signature

Sourceexception Error of int
Sourceval program : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.Program.t
Sourceval prefix_SYMB : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.Func.t
Sourceval postfix_SYMB : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.Func.t
Sourceval infix_SYMB : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.Func.t
Sourceval goal : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.Term.t
OCaml

Innovation. Community. Security.