fact: Definition fiat_arp_operation_to_enum (operation: fiat_arp_operation) : EnumType ["Request"; "Reply"; "RARPRequest"; "RARPReply"] := match operation with | Request => ```"Request" | Reply => ```"Reply" | RARPRequest => ```"RARPRequest" | RARPReply => ```"RARPReply" end.
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure Fiat.Narcissus.BinLib.AlignedDecodeMonad Fiat.Narcissus.BinLib.AlignedEncodeMonad Coq.Strings.String Fiat.Common.EnumType