hacspec_lib::prelude

Function u8_from_U128

Source
pub fn u8_from_U128(x: u8) -> U128