pub fn U16_to_be_bytes(x: U16) -> U16Word
Expand description

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.