36def sm86EncodeQMDWord32 =
37 (lambda unrestricted value : (family SM86QMDWord32) .
38 (eliminate SM86QMDWord32
39 (lambda unrestricted current : (family SM86QMDWord32) . Bytes)
40 value
41 (branch SM86QMDWord32Value byte0 byte1 byte2 byte3 .
42 (bytes-cons byte0
43 (bytes-cons byte1
44 (bytes-cons byte2
45 (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.