elpi

API

Library elpi

• Elpi

Library elpi.lexer_config

• Elpi_lexer_config

Library elpi.parser

• Elpi_parser

Library elpi.util

• Elpi_util

Library trace_ppx

• Trace_ppx elpi.trace.ppx provides the following syntax extensions:

Library trace_ppx_runtime

• Trace_ppx_runtime