71def linuxIPv4SocketAddress =
72 (lambda unrestricted address : (family IPv4Address) .
73 (lambda unrestricted port : Nat .
74 (nat-eliminate
75 (lambda unrestricted ok : Nat . (family StdResult (family SocketAddressFailure) Bytes))
76 (constructor
77 StdResult
78 StdFailure
79 (family SocketAddressFailure)
80 Bytes
81 (constructor SocketAddressFailure SocketAddressPortOutOfRange))
82 (lambda unrestricted previous : Nat .
83 (lambda unrestricted ignored : (family StdResult (family SocketAddressFailure) Bytes) .
84 (constructor
85 StdResult
86 StdSuccess
87 (family SocketAddressFailure)
88 Bytes
89 (bytes-append
90 linuxIPv4FamilyBytes
91 (bytes-cons
92 (nat-to-byte (naturalDivideUnchecked port 256))
93 (bytes-cons
94 (nat-to-byte (naturalModuloUnchecked port 256))
95 (bytes-append (ipv4Bytes address) linuxIPv4Padding)))))))
96 (naturalLessOrEqual port 65535))))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.