Function hacspec_lib::prelude::U8_from_usize

source · [−]
pub fn U8_from_usize(x: usize) -> U8