Function hacspec_lib::prelude::U64_from_U32

source · [−]
pub fn U64_from_U32(x: U32) -> U64