HeadersValues (p.frenetic.5.0.5.doc.frenetic.netkat.Frenetic

Sourcetype t = {

}

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

Sourceval t_of_sexp : Sexplib0__.Sexp.t -> t

Sourceval sexp_of_t : t -> Sexplib0__.Sexp.t

Sourceval tcpDstPort : t -> Frenetic_kernel.Packet.tpPort

Sourceval tcpSrcPort : t -> Frenetic_kernel.Packet.tpPort

Sourceval ipDst : t -> Frenetic_kernel.Packet.nwAddr

Sourceval ipSrc : t -> Frenetic_kernel.Packet.nwAddr

Sourceval ipProto : t -> Frenetic_kernel.Packet.nwProto

Sourceval ethType : t -> Frenetic_kernel.Packet.dlTyp

Sourceval vport : t -> int64

Sourceval vswitch : t -> int64

Sourceval vlanPcp : t -> Frenetic_kernel.Packet.dlVlanPcp

Sourceval vlan : t -> Frenetic_kernel.Packet.int16

Sourceval ethDst : t -> Frenetic_kernel.Packet.dlAddr

Sourceval ethSrc : t -> Frenetic_kernel.Packet.dlAddr

Sourceval abstractLoc : t -> Syntax.abstract_location

Sourceval from : t -> Syntax.abstract_location

Sourceval location : t -> Syntax.location

Sourcemodule Fields : sig ... end

Sourceval compare : t -> t -> int

Sourceval to_string : t -> string

Sourceval to_hvs : t -> Syntax.header_val list