elpi 2.0.4

Libraries

This package provides the following libraries (via ocamlobjinfo):

elpi

Documentation:

• Elpi

elpi.compiler

Documentation:

• Elpi_compiler

elpi.lexer_config

Documentation:

• Elpi_lexer_config

elpi.parser

Documentation:

• Elpi_parser

elpi.runtime

Documentation:

• Elpi_runtime

elpi.trace.runtime

Documentation:

• Trace_ppx_runtime

elpi.util

Documentation:

• Elpi_util