fact: Definition fiat_arp_prottype_of_enum (enum: EnumType ["IPv4"; "IPv6"]) := InjectEnum [IPv4; IPv6] enum.
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure Fiat.Narcissus.BinLib.AlignedDecodeMonad Fiat.Narcissus.BinLib.AlignedEncodeMonad Coq.Strings.String Fiat.Common.EnumType