hacspec_lib::prelude

Function U8_from_usize

Source
pub fn U8_from_usize(x: usize) -> U8