Function hacspec_lib::prelude::U8_from_U16

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

Warning: wrapping semantics.