hax_frontend_exporter

Module mir_kinds

source
Expand description

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

Structs§

Traits§