hacspec_lib::prelude

Function u32_to_be_bytes

Source
pub fn u32_to_be_bytes(x: u32) -> u32Word