fact: Definition fiat_arp_hardtype_of_enum (enum: EnumType ["Ethernet"; "IEEE802"; "Chaos"]) := InjectEnum [Ethernet; IEEE802; Chaos] enum.
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure Fiat.Narcissus.BinLib.AlignedDecodeMonad Fiat.Narcissus.BinLib.AlignedEncodeMonad Coq.Strings.String Fiat.Common.EnumType