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 115–121

modelWord32Majority

Full file
115def modelWord32Majority =
116  (lambda unrestricted first : (family ModelWord32) .
117    (lambda unrestricted second : (family ModelWord32) .
118      (lambda unrestricted third : (family ModelWord32) .
119        (modelWord32Xor
120          (modelWord32Xor (modelWord32And first second) (modelWord32And first third))
121          (modelWord32And 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.