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 107–113

modelWord32Choose

Full file
107def modelWord32Choose =
108  (lambda unrestricted choose : (family ModelWord32) .
109    (lambda unrestricted whenSet : (family ModelWord32) .
110      (lambda unrestricted whenClear : (family ModelWord32) .
111        (modelWord32Xor
112          (modelWord32And choose whenSet)
113          (modelWord32And (modelWord32Not choose) whenClear)))))

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.