Function hacspec_lib::prelude::U64_from_U8

source · [−]
pub fn U64_from_U8(x: U8) -> U64