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.
docs.rs failed to build hax-frontend-exporter-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: hax-frontend-exporter-0.1.0-alpha.1

Special core extraction mode

For now, the frontend is sensible to the HAX_CORE_EXTRACTION_MODE variable environment that enables a special mode.