hacspec_lib::prelude

Function u8_from_U64

Source
pub fn u8_from_U64(x: u8) -> U64