hax_
frontend_
exporter
0.1.0-alpha.1
Module mir_
kinds
Structs
Traits
In crate hax_
frontend_
exporter
Module
hax_frontend_exporter
::
mir_kinds
Copy item path
source
·
[
−
]
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
§
IsMir
Kind