hacspec_lib::prelude

Function u64_to_be_bytes

Source
pub fn u64_to_be_bytes(x: u64) -> u64Word