hacspec_lib::prelude

Function I128_from_I64

Source
pub fn I128_from_I64(x: I64) -> I128