elpi 1.16.5

Libraries

This package provides the following libraries (via dune):

elpi

Documentation: Elpi

Dependencies: re.str, unix, stdlib-shims, elpi.parser, elpi.util, ppx_deriving.runtime, elpi.trace.runtime

elpi.lexer_config

Documentation:

• Elpi_lexer_config.Lexer_config
• Elpi_lexer_config.Tokens

Dependencies: elpi.util

elpi.parser

Documentation:

• Elpi_parser.Ast
• Elpi_parser.Error_messages
• Elpi_parser.Grammar
• Elpi_parser.Lexer
• Elpi_parser.Parse
• Elpi_parser.Parser_config

Dependencies: unix, menhirLib, elpi.lexer_config, elpi.util, stdlib-shims, ppx_deriving.runtime

elpi.trace.ppx

Documentation: Trace_ppx

Dependencies: ppxlib.ast, ppxlib

elpi.trace.runtime

Documentation:

• Trace_ppx_runtime.Runtime

Dependencies: re

elpi.util

Documentation:

• Elpi_util.Util

Dependencies: re.str