AlphaGitHub
Source/Packages

Model.Word32Logic

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

142 lines9 declarations4.4 KiBSHA-256 ef93d5a70a2e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 136–142

modelWord32AddFive

Full file
136def modelWord32AddFive =
137  (lambda unrestricted first : (family ModelWord32) .
138    (lambda unrestricted second : (family ModelWord32) .
139      (lambda unrestricted third : (family ModelWord32) .
140        (lambda unrestricted fourth : (family ModelWord32) .
141          (lambda unrestricted fifth : (family ModelWord32) .
142            (modelWord32Add (modelWord32AddFour first second third fourth) fifth))))))

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.