Function hacspec_lib::prelude::u8_from_U64

source · [−]
pub fn u8_from_U64(x: u8) -> U64