Opam Package pa_ppx_hashcons.0.07.02

Package info

opam-namepa_ppx_hashcons
opam-version0.07.02
synopsisA PPX Rewriter for Hashconsing
description This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.
authors
  • Chet Murthy
homepagehttps://github.com/camlp5/pa_ppx_hashcons
licenseBSD-3-Clause
deps (12)
revdeps (2)
metas (3)
libraries(0)

Package modules

Package sources

pa_ppx_hashcons

Package files

lib/pa_ppx_hashcons/pa_deriving_hashcons.o
lib/pa_ppx_hashcons/pa_deriving_hashcons.cmx
lib/pa_ppx_hashcons/pa_deriving_hashcons.cmo
lib/pa_ppx_hashcons/META
lib/pa_ppx_hashcons