fact: Definition cond_srcport port : condition input := let fn := tcp_or_udp tcp_source_port udp_source_port in fun pkt => N.eqb pkt.(fn) port.
imports: Coq.Lists.List Fiat.Narcissus.Examples.Guard.Core Coq.Vectors.Vector