1306def stdU32SubtractWrapping =
1307 (lambda unrestricted a : (family ModelWord32) .
1308 (lambda unrestricted b : (family ModelWord32) .
1309 (modelWord32Add a (modelWord32Add (stdU32Not b) 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.