Function hacspec_lib::prelude::u64_from_U128

source · [−]
pub fn u64_from_U128(x: u64) -> U128