Module miri::helpers::convert

source · [−]

Modules

implementations 🔒

Traits

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