Function hacspec_lib::prelude::u8_from_U128

source · [−]
pub fn u8_from_U128(x: u8) -> U128