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 123–127

modelWord32AddThree

Full file
123def modelWord32AddThree =
124  (lambda unrestricted first : (family ModelWord32) .
125    (lambda unrestricted second : (family ModelWord32) .
126      (lambda unrestricted third : (family ModelWord32) .
127        (modelWord32Add (modelWord32Add first second) third))))

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.