fact: Definition fiat_arp_hardtype_to_enum (hardtype: fiat_arp_hardtype) : EnumType ["Ethernet"; "IEEE802"; "Chaos"] := match hardtype with | Ethernet => ```"Ethernet" | IEEE802 => ```"IEEE802" | Chaos => ```"Chaos" end.
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure Fiat.Narcissus.BinLib.AlignedDecodeMonad Fiat.Narcissus.BinLib.AlignedEncodeMonad Coq.Strings.String Fiat.Common.EnumType