• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • elpi

  • Documentation
  • elpi.parser lib
  • Elpi_parser Module
package elpi
  • elpi
    • Elpi
      • API
        • AlgebraicData
        • Ast
          • Loc
        • BuiltIn
        • BuiltInData
        • BuiltInPredicate
          • Notation
        • Compile
          • StrSet
        • ContextualConversion
        • Conversion
        • Data
          • StrMap
        • Execute
        • FlexibleData
          • Elpi
          • Host
          • Map
            • Host
          • Show
        • OpaqueData
        • Parse
        • Pp
          • Ast
        • Query
        • Quotation
        • RawData
          • Constants
            • Map
            • Set
        • RawOpaqueData
        • RawPp
          • Debug
        • RawQuery
        • Setup
        • State
        • Utils
          • IntSet
          • LocSet
          • Map
            • Make
              • Ord
            • OrderedType
            • S
          • Set
            • Make
              • 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
          • C
      • Lexer
      • Parse
        • Config
        • Make
          • 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
            • H
          • MakeSeeded
            • H
          • S
          • SeededHashedType
          • SeededS
        • Int
        • IntMap
        • IntSet
        • Loc
        • Map
          • Make
            • Ord
          • OrderedType
          • S
        • Set
          • Make
            • Ord
          • OrderedType
          • S
        • Show
        • Show1
        • Show2
        • StrMap
        • StrSet
        • String
        • UUID
          • Htbl
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Ast : sig ... end
module Error_messages : sig ... end
module Grammar : sig ... end
module Lexer : sig ... end
module Parse : sig ... end
module Parser_config : sig ... end

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct