hacspec_lib::prelude

Function U16_from_U32

Source
pub fn U16_from_U32(x: U32) -> U16
Expand description

Warning: wrapping semantics.