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: