Successor modulo 2^32: one carry chain, no fold over the value (D17).
403def modelWord32Increment =
404 (lambda unrestricted value : (family ModelWord32) . (modelWord32Add value modelWord32One))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.