hacspec_lib::prelude

Function U128_from_usize

Source
pub fn U128_from_usize(x: usize) -> U128