Elpi_parser.Parse.Make.Internal · elpi 1.15.2

elpi

ELPI - Embeddable λProlog Interpreter

elpi
- Elpi
  - API
    
    AlgebraicData
    
    Ast
    
    Loc
    
    BuiltIn
    
    BuiltInData
    
    BuiltInPredicate
    
    Notation
    
    Compile
    
    StrSet
    
    ContextualConversion
    
    Conversion
    
    Data
    
    StrMap
    
    Execute
    
    FlexibleData
    
    Elpi
    
    Host
    
    Map
    
    1-Host
    
    Show
    
    OpaqueData
    
    Parse
    
    Pp
    
    Ast
    
    Query
    
    Quotation
    
    RawData
    
    Constants
    
    Map
    
    Set
    
    RawOpaqueData
    
    RawPp
    
    Debug
    
    RawQuery
    
    Setup
    
    State
    
    Utils
    
    Map
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
    
    Show
    
    Show1
  - Builtin
  - Builtin_checker
elpi.lexer_config
- Elpi_lexer_config
  - Lexer_config
  - Tokens
elpi.parser
- Elpi_parser
  - Ast
    
    Chr
    
    Clause
    
    Func
    
    Map
    
    Goal
    
    Macro
    
    Mode
    
    Program
    
    Structured
    
    Term
    
    Type
    
    TypeAbbreviation
  - Error_messages
  - Grammar
    
    Make
    
    1-C
  - Lexer
  - Parse
    
    Config
    
    Make
    
    1-C
    
    Internal
    
    Parser
    
    Parser_w_Internals
    
    Internal
  - Parser_config
    
    ParseFile
elpi.trace.ppx
- Trace_ppx
elpi.trace.runtime
- Trace_ppx_runtime
  - Runtime
elpi.util
- Elpi_util
  - Util
    
    CData
    
    Digest
    
    Fork
    
    Hashtbl
    
    HashedType
    
    Make
    
    1-H
    
    MakeSeeded
    
    1-H
    
    S
    
    SeededHashedType
    
    SeededS
    
    Int
    
    IntMap
    
    IntSet
    
    Loc
    
    Map
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
    
    Show
    
    Show1
    
    Show2
    
    StrMap
    
    StrSet
    
    String
    
    UUID
    
    Htbl

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library elpi.parser

Module Elpi_parser . Parse . Make . Internal

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