AlphaGitHub
Source/Packages

Model.Word32

packages/foundation/standard/src/Model/Word32.alpha

508 lines41 declarations18.3 KiBSHA-256 7f230128ec8c
Download exact fileView at revision426597bda5753d86c4

def · lines 323–344

modelWord32MultiplyStep

Full file
323def modelWord32MultiplyStep =
324  (lambda unrestricted state : (family ModelWord32MultiplyState) .
325    (eliminate
326      ModelWord32MultiplyState
327      (lambda unrestricted current : (family ModelWord32MultiplyState) .
328        (family ModelWord32MultiplyState))
329      state
330      (branch
331        ModelWord32MultiplyStateValue
332        multiplicand
333        multiplier
334        product
335        .
336        (constructor
337          ModelWord32MultiplyState
338          ModelWord32MultiplyStateValue
339          (modelWord32ShiftLeftOne multiplicand)
340          (modelWord32ShiftRightOne multiplier)
341          (modelWord32Select
342            (modelWord32LeastBit multiplier)
343            (modelWord32Add product multiplicand)
344            product)))))

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.