Function hacspec_lib::prelude::u32_from_U64

source · [−]
pub fn u32_from_U64(x: u32) -> U64