Module miri::helpers::convert

Modules

• implementations 🔒

Traits

• Truncate 🔒
  Replacement for as casts going from wide integer to narrower integer.