package ppx_elpi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

API
1. Library ppx_elpi

package ppx_elpi

ppx_elpi
- CHANGES
- README
- Library ppx_elpi
  - Ppx_elpi
    
    SSet
    
    SSet
- Sources
  - ppx_elpi
    
    ppx_elpi.ml
    
    ppx_elpi__.ml
    
    ppx_elpi_compat.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

ppx_elpi

API

Library ppx_elpi

Ppx_elpi This PPX deriver can synthesize glue code for Elpi. The following kind of data types are supported: