def S32.min_neg1

bend-kit-int@0.2.0.0 · int.bend:630

import Base

630# True for MIN and -1, the one quotient that overflows.
631def S32.min_neg1(a: U32, b: U32) -> Bool:
632  Bool.and(U32.is_eq(a, S32.MIN()), U32.is_eq(b, 4294967295))