def u32.over
import bend-kit-migrate@0.3.0.0/migrate.bend as Migrateimport Base
300def u32.over(+acc: U32, +d: U32) -> Bool:
301 Bool.or(U32.is_lt(429496729, acc), Bool.and(U32.is_eq(acc, 429496729), U32.is_lt(5, d)))
import bend-kit-migrate@0.3.0.0/migrate.bend as Migrateimport Base
300def u32.over(+acc: U32, +d: U32) -> Bool:
301 Bool.or(U32.is_lt(429496729, acc), Bool.and(U32.is_eq(acc, 429496729), U32.is_lt(5, d)))