hacspec_lib::prelude

Function U32_from_U16

Source
pub fn U32_from_U16(x: U16) -> U32