AlphaGitHub
Source/Packages

Model.Config

packages/foundation/standard/src/Model/Config.alpha

65 lines20 declarations2.0 KiBSHA-256 2f300e3fb70e
Download exact fileView at revision3c600751929f56cd01

def · lines 25–38

modelWord32Bytes

Full file
25def modelWord32Bytes =
26  (lambda unrestricted value : (family ModelWord32) .
27    (eliminate
28      ModelWord32
29      (lambda unrestricted motiveValue : (family ModelWord32) . Bytes)
30      value
31      (branch
32        ModelWord32Value
33        byte0
34        byte1
35        byte2
36        byte3
37        .
38        (bytes-cons byte0 (bytes-cons byte1 (bytes-cons byte2 (bytes-cons byte3 b"")))))))

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.