29def linuxIPv4FamilyBytes : Bytes =
30 (bytes-cons (nat-to-byte linuxIPv4Family) (bytes 0))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.