Function hacspec_lib::prelude::u32_to_be_bytes

pub fn u32_to_be_bytes(x: u32) -> u32Word

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.