fact: Definition fiat_arp_operation_of_enum (enum: EnumType ["Request"; "Reply"; "RARPRequest"; "RARPReply"]) := InjectEnum [Request; Reply; RARPRequest; RARPReply] enum.
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure Fiat.Narcissus.BinLib.AlignedDecodeMonad Fiat.Narcissus.BinLib.AlignedEncodeMonad Coq.Strings.String Fiat.Common.EnumType