hacspec_lib::prelude

Function u128_to_be_bytes

Source
pub fn u128_to_be_bytes(x: u128) -> u128Word