HeadersValues (frenetic.netkat.Frenetic_netkat.Semantics.HeadersValues)

type t = {

location : Syntax.location;

from : Syntax.abstract_location;

abstractLoc : Syntax.abstract_location;

ethSrc : Frenetic_kernel.Packet.dlAddr;

ethDst : Frenetic_kernel.Packet.dlAddr;

vlan : Frenetic_kernel.Packet.int16;

vlanPcp : Frenetic_kernel.Packet.dlVlanPcp;

vswitch : int64;

vport : int64;

ethType : Frenetic_kernel.Packet.dlTyp;

ipProto : Frenetic_kernel.Packet.nwProto;

ipSrc : Frenetic_kernel.Packet.nwAddr;

ipDst : Frenetic_kernel.Packet.nwAddr;

tcpSrcPort : Frenetic_kernel.Packet.tpPort;

tcpDstPort : Frenetic_kernel.Packet.tpPort;

}

include sig ... end

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t ‑> t

val sexp_of_t : t ‑> Ppx_sexp_conv_lib.Sexp.t

val tcpDstPort : t ‑> Frenetic_kernel.Packet.tpPort

val tcpSrcPort : t ‑> Frenetic_kernel.Packet.tpPort

val ipDst : t ‑> Frenetic_kernel.Packet.nwAddr

val ipSrc : t ‑> Frenetic_kernel.Packet.nwAddr

val ipProto : t ‑> Frenetic_kernel.Packet.nwProto

val ethType : t ‑> Frenetic_kernel.Packet.dlTyp

val vport : t ‑> int64

val vswitch : t ‑> int64

val vlanPcp : t ‑> Frenetic_kernel.Packet.dlVlanPcp

val vlan : t ‑> Frenetic_kernel.Packet.int16

val ethDst : t ‑> Frenetic_kernel.Packet.dlAddr

val ethSrc : t ‑> Frenetic_kernel.Packet.dlAddr

val abstractLoc : t ‑> Syntax.abstract_location

val from : t ‑> Syntax.abstract_location

val location : t ‑> Syntax.location

module Fields : sig ... end