Function hacspec_lib::prelude::u16_from_U64

source · [−]
pub fn u16_from_U64(x: u16) -> U64