hacspec_lib::prelude

Function u64_from_U128

Source
pub fn u64_from_U128(x: u64) -> U128