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 129–134

modelWord32AddFour

Full file
129def modelWord32AddFour =
130  (lambda unrestricted first : (family ModelWord32) .
131    (lambda unrestricted second : (family ModelWord32) .
132      (lambda unrestricted third : (family ModelWord32) .
133        (lambda unrestricted fourth : (family ModelWord32) .
134          (modelWord32Add (modelWord32AddThree first second third) fourth)))))

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.