Function hacspec_lib::prelude::I16_from_I32

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

Warning: wrapping semantics.