Function hacspec_lib::prelude::I32_from_I64

source · [−]
pub fn I32_from_I64(x: I64) -> I32
Expand description

Warning: wrapping semantics.