hacspec_lib::prelude

Function U64_from_U128

Source
pub fn U64_from_U128(x: U128) -> U64
Expand description

Warning: wrapping semantics.