hacspec_lib::prelude

Function U64_from_U8

Source
pub fn U64_from_U8(x: U8) -> U64