fact: Definition fiat_arp_prottype_to_enum (prottype: fiat_arp_prottype) : EnumType ["IPv4"; "IPv6"] := match prottype with | IPv4 => ```"IPv4" | IPv6 => ```"IPv6" end.
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure Fiat.Narcissus.BinLib.AlignedDecodeMonad Fiat.Narcissus.BinLib.AlignedEncodeMonad Coq.Strings.String Fiat.Common.EnumType