def aog
import bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64add.bend as W64addimport Base
126def aog(+s: U32, +ah: U32, c: Bool, +m: U32) -> Bool:
127 Bool.or(U32.is_lt(s, ah), Bool.and(c, U32.is_eq(s, m)))
import bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64add.bend as W64addimport Base
126def aog(+s: U32, +ah: U32, c: Bool, +m: U32) -> Bool:
127 Bool.or(U32.is_lt(s, ah), Bool.and(c, U32.is_eq(s, m)))