hacspec_lib::prelude

Function U64_to_be_bytes

Source
pub fn U64_to_be_bytes(x: U64) -> U64Word