Function hacspec_lib::prelude::U64_from_usize

source · [−]
pub fn U64_from_usize(x: usize) -> U64