package elpi

  1. Overview
  2. Docs

elpi 1.1.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

elpi

Documentation:

  • Elpi_util
  • Elpi_trace
  • Elpi_ast
  • Elpi_parser
  • Elpi_ptmap
  • Elpi_data
  • Elpi_runtime_trace_on
  • Elpi_runtime_trace_off
  • Elpi_compiler
  • Elpi_API This module is the API for clients of the ELPI library.
  • Elpi_builtin