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 362–369

modelWord32Multiply

Full file
362def modelWord32Multiply =
363  (lambda unrestricted left : (family ModelWord32) .
364    (lambda unrestricted right : (family ModelWord32) .
365      (eliminate
366        ModelWord32MultiplyState
367        (lambda unrestricted current : (family ModelWord32MultiplyState) . (family ModelWord32))
368        (modelWord32MultiplyStateRun left right)
369        (branch ModelWord32MultiplyStateValue multiplicand multiplier product . 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.