Constant OXIDE_INT_MIN
Source pub const OXIDE_INT_MIN: i32 = _; // -2_147_483_647i32
Expand description
Lower bound of the default fully-bounded integer domain used by Conjure Oxide.
One greater than i32::MIN so the magnitude of OXIDE_INT_MIN is representable as a
positive i32.