hacspec_lib::prelude

Function I32_from_I8

Source
pub fn I32_from_I8(x: I8) -> I32