hax-frontend-exporter 0.1.0

Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information.

1
2
3

# Special core extraction mode
For now, the frontend is sensible to the `HAX_CORE_EXTRACTION_MODE`
variable environment that enables a special mode.