Function hacspec_lib::prelude::U16_from_U64

source · [−]
pub fn U16_from_U64(x: U64) -> U16
Expand description

Warning: wrapping semantics.