Function hacspec_lib::prelude::U32_from_U128

source · [−]
pub fn U32_from_U128(x: U128) -> U32
Expand description

Warning: wrapping semantics.