hacspec_lib::prelude

Function I64_from_I32

Source
pub fn I64_from_I32(x: I32) -> I64