value × 10 = (value << 3) + (value << 1), modulo 2^32.
481def modelWord32TimesTen =
482 (lambda unrestricted value : (family ModelWord32) .
483 (modelWord32Add
484 (modelWord32ShiftLeftOne (modelWord32ShiftLeftOne (modelWord32ShiftLeftOne value)))
485 (modelWord32ShiftLeftOne value)))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.