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

val iter : t ‑> location:((t, Syntax.location) Fieldslib.Field.t ‑> t ‑> Syntax.location ‑> unit) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> unit) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> unit) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> unit) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> unit) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.int16 ‑> unit) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlVlanPcp ‑> unit) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> unit) ‑> vport:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> unit) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlTyp ‑> unit) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwProto ‑> unit) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> unit) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> unit) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> unit) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> unit) ‑> unit

val fold : t ‑> init:'acc__0 ‑> location:('acc__0 ‑> (t, Syntax.location) Fieldslib.Field.t ‑> t ‑> Syntax.location ‑> 'acc__1) ‑> from:('acc__1 ‑> (t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> 'acc__2) ‑> abstractLoc:('acc__2 ‑> (t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> 'acc__3) ‑> ethSrc:('acc__3 ‑> (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> 'acc__4) ‑> ethDst:('acc__4 ‑> (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> 'acc__5) ‑> vlan:('acc__5 ‑> (t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.int16 ‑> 'acc__6) ‑> vlanPcp:('acc__6 ‑> (t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlVlanPcp ‑> 'acc__7) ‑> vswitch:('acc__7 ‑> (t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> 'acc__8) ‑> vport:('acc__8 ‑> (t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> 'acc__9) ‑> ethType:('acc__9 ‑> (t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlTyp ‑> 'acc__10) ‑> ipProto:('acc__10 ‑> (t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwProto ‑> 'acc__11) ‑> ipSrc:('acc__11 ‑> (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> 'acc__12) ‑> ipDst:('acc__12 ‑> (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> 'acc__13) ‑> tcpSrcPort:('acc__13 ‑> (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> 'acc__14) ‑> tcpDstPort:('acc__14 ‑> (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> 'acc__15) ‑> 'acc__15

val for_all : t ‑> location:((t, Syntax.location) Fieldslib.Field.t ‑> t ‑> Syntax.location ‑> bool) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> bool) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> bool) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> bool) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> bool) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.int16 ‑> bool) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlVlanPcp ‑> bool) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> bool) ‑> vport:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> bool) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlTyp ‑> bool) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwProto ‑> bool) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> bool) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> bool) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> bool) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> bool) ‑> bool

val exists : t ‑> location:((t, Syntax.location) Fieldslib.Field.t ‑> t ‑> Syntax.location ‑> bool) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> bool) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> bool) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> bool) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> bool) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.int16 ‑> bool) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlVlanPcp ‑> bool) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> bool) ‑> vport:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> bool) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlTyp ‑> bool) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwProto ‑> bool) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> bool) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> bool) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> bool) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> bool) ‑> bool

val to_list : t ‑> location:((t, Syntax.location) Fieldslib.Field.t ‑> t ‑> Syntax.location ‑> 'elem__) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> 'elem__) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> 'elem__) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> 'elem__) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> 'elem__) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.int16 ‑> 'elem__) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlVlanPcp ‑> 'elem__) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> 'elem__) ‑> vport:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> 'elem__) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlTyp ‑> 'elem__) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwProto ‑> 'elem__) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> 'elem__) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> 'elem__) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> 'elem__) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> 'elem__) ‑> 'elem__ list

val map : t ‑> location:((t, Syntax.location) Fieldslib.Field.t ‑> t ‑> Syntax.location ‑> Syntax.location) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> Syntax.abstract_location) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> t ‑> Syntax.abstract_location ‑> Syntax.abstract_location) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> Frenetic_kernel.Packet.dlAddr) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlAddr ‑> Frenetic_kernel.Packet.dlAddr) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.int16 ‑> Frenetic_kernel.Packet.int16) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlVlanPcp ‑> Frenetic_kernel.Packet.dlVlanPcp) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> int64) ‑> vport:((t, int64) Fieldslib.Field.t ‑> t ‑> int64 ‑> int64) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.dlTyp ‑> Frenetic_kernel.Packet.dlTyp) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwProto ‑> Frenetic_kernel.Packet.nwProto) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> Frenetic_kernel.Packet.nwAddr) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.nwAddr ‑> Frenetic_kernel.Packet.nwAddr) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> Frenetic_kernel.Packet.tpPort) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> t ‑> Frenetic_kernel.Packet.tpPort ‑> Frenetic_kernel.Packet.tpPort) ‑> t