hacspec_lib::prelude

Function u8_from_U32

Source
pub fn u8_from_U32(x: u8) -> U32