Function hacspec_lib::prelude::U32_from_be_bytes

pub fn U32_from_be_bytes(s: U32Word) -> U32

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.