56def ipv4Bytes =
57 (lambda unrestricted address : (family IPv4Address) .
58 (eliminate
59 IPv4Address
60 (lambda unrestricted current : (family IPv4Address) . Bytes)
61 address
62 (branch
63 IPv4AddressOf
64 a
65 b
66 c
67 d
68 .
69 (bytes-cons a (bytes-cons b (bytes-cons c (bytes-cons d 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.