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 74–93

modelWord32Not

Full file
74def modelWord32Not =
75  (lambda unrestricted value : (family ModelWord32) .
76    (eliminate
77      ModelWord32
78      (lambda unrestricted current : (family ModelWord32) . (family ModelWord32))
79      value
80      (branch
81        ModelWord32Value
82        b0
83        b1
84        b2
85        b3
86        .
87        (constructor
88          ModelWord32
89          ModelWord32Value
90          (byteXor b0 (byte 255))
91          (byteXor b1 (byte 255))
92          (byteXor b2 (byte 255))
93          (byteXor b3 (byte 255))))))

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.