hacspec_lib::prelude

Function I32_from_I128

Source
pub fn I32_from_I128(x: I128) -> I32
Expand description

Warning: wrapping semantics.