1.18.2

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.

Language:

• Change indexing for multiple arguments is now based on discrimination trees
• Change :index acecpts an optional string to force "Hash" based indexing

API:

• Change clause_of_term accepts a `Replace grafting directive

What's Changed

• Discrimination tree on multiple args by @FissoreD in #213
• Expose `Replace in API by @FissoreD in #217
• Update ELPI.md by @gares in #215
• fix chr trace by @gares in #216

Full Changelog: v1.18.1...v1.18.2