package pa_ppx_hashcons

  1. Overview
  2. Docs
A PPX Rewriter for Hashconsing

Install

Dune Dependency

Authors

Maintainers

Sources

0.08.tar.gz
sha512=2f6306a7794bcad347aed6915c44349681463102426e3f741564ec439eee6eb6b12d7f65219d63d35a578a7fb374f6298f98a7730b7e290a6af11cc9b111b320

Description

This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.

Published: 08 Aug 2021

Dev Dependencies (2)

  1. ounit with-test
  2. pa_ppx_migrate with-test & >= "0.08"

Conflicts

None