fact: Definition slow_index : IndexType GuardDataSchema := {| prim_fst := [("EqualityIndex", "src_port" # "connections" ## GuardDataSchema); ("EqualityIndex", "dst_port" # "connections" ## GuardDataSchema)]; prim_snd := () |}.
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.Narcissus.Examples.NetworkStack.IPv4Header Fiat.Narcissus.Examples.NetworkStack.TCP_Packet Fiat.Narcissus.Formats.ByteBuffer Bedrock.Word Fiat.Narcissus.BinLib.Core