hacspec_lib::prelude

Function U128_to_be_bytes

Source
pub fn U128_to_be_bytes(x: U128) -> U128Word