hax-frontend-exporter-0.1.0-alpha.1
- hax-frontend-exporter 0.1.0-alpha.1
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:hacspec:crates
- Dependencies
- bincode ^2.0.0-rc.3 normal
  
  extension-traits ^1.0.1 normal
  
  hax-adt-into =0.1.0-alpha.1 normal
  
  hax-frontend-exporter-options =0.1.0-alpha.1 normal
  
  itertools ^0.11.0 normal
  
  lazy_static ^1.4.0 normal
  
  paste ^1.0.11 normal
  
  schemars ^0.8 normal
  
  serde ^1.0 normal
  
  serde_json ^1.0 normal
  
  tracing ^0.1 normal
- Versions
- 10.17% of the crate is documented
Go to latest stable release
Platform
- x86_64-unknown-linux-gnu
Feature flags

Rust

hax_frontend_exporter0.1.0-alpha.1

Module mir_kinds

Module Items

Structs
Traits

In crate hax_frontend_exporter

hax_frontend_exporter

Module mir_kinds

Expand description

Enumerates the kinds of Mir bodies. TODO: use const generics instead of an open list of types.

Structs§

Built
CTFE
Elaborated
Optimized
Promoted

Traits§

IsMirKind