hacspec_lib::prelude

Function U32_to_le_bytes

Source
pub fn U32_to_le_bytes(x: U32) -> U32Word