Module miri::helpers::convert

source ·

Modules

implementations 🔒

Traits

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