hacspec_lib::prelude

Function u16_from_U32

Source
pub fn u16_from_U32(x: u16) -> U32