Module hax_frontend_exporter::constant_utils

Re-exports

• pub use self::rustc::*;

Modules

• rustc 🔒

Structs

• ConstantFieldExpr

Enums

• ConstantExprKind
  The subset of Expr that corresponds to constants.
• ConstantInt
• ConstantLiteral

Type Aliases

• ConstantExpr
  Rustc has different representation for constants: one for MIR (rustc_middle::mir::Const), one for the type system (rustc_middle::ty::ConstKind). For simplicity hax maps those two construct to one same ConstantExpr type.