hacspec_lib::prelude

Function u32_from_U128

Source
pub fn u32_from_U128(x: u32) -> U128