Module Frenetic_netkat.Semantics.HeadersValues.Fields
val tcpDstPort : (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t
val tcpSrcPort : (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t
val ipDst : (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t
val ipSrc : (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t
val ipProto : (t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t
val ethType : (t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t
val vport : (t, int64) Fieldslib.Field.t
val vswitch : (t, int64) Fieldslib.Field.t
val vlanPcp : (t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t
val vlan : (t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t
val ethDst : (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t
val ethSrc : (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t
val fold : init:'acc__0 ‑> location:('acc__0 ‑> (t, Syntax.location) Fieldslib.Field.t ‑> 'acc__1) ‑> from:('acc__1 ‑> (t, Syntax.abstract_location) Fieldslib.Field.t ‑> 'acc__2) ‑> abstractLoc:('acc__2 ‑> (t, Syntax.abstract_location) Fieldslib.Field.t ‑> 'acc__3) ‑> ethSrc:('acc__3 ‑> (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> 'acc__4) ‑> ethDst:('acc__4 ‑> (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> 'acc__5) ‑> vlan:('acc__5 ‑> (t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> 'acc__6) ‑> vlanPcp:('acc__6 ‑> (t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> 'acc__7) ‑> vswitch:('acc__7 ‑> (t, int64) Fieldslib.Field.t ‑> 'acc__8) ‑> vport:('acc__8 ‑> (t, int64) Fieldslib.Field.t ‑> 'acc__9) ‑> ethType:('acc__9 ‑> (t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> 'acc__10) ‑> ipProto:('acc__10 ‑> (t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> 'acc__11) ‑> ipSrc:('acc__11 ‑> (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> 'acc__12) ‑> ipDst:('acc__12 ‑> (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> 'acc__13) ‑> tcpSrcPort:('acc__13 ‑> (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> 'acc__14) ‑> tcpDstPort:('acc__14 ‑> (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> 'acc__15) ‑> 'acc__15
val make_creator : location:((t, Syntax.location) Fieldslib.Field.t ‑> 'acc__0 ‑> ('input__ ‑> Syntax.location) * 'acc__1) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> 'acc__1 ‑> ('input__ ‑> Syntax.abstract_location) * 'acc__2) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> 'acc__2 ‑> ('input__ ‑> Syntax.abstract_location) * 'acc__3) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> 'acc__3 ‑> ('input__ ‑> Frenetic_kernel.Packet.dlAddr) * 'acc__4) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> 'acc__4 ‑> ('input__ ‑> Frenetic_kernel.Packet.dlAddr) * 'acc__5) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> 'acc__5 ‑> ('input__ ‑> Frenetic_kernel.Packet.int16) * 'acc__6) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> 'acc__6 ‑> ('input__ ‑> Frenetic_kernel.Packet.dlVlanPcp) * 'acc__7) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> 'acc__7 ‑> ('input__ ‑> int64) * 'acc__8) ‑> vport:((t, int64) Fieldslib.Field.t ‑> 'acc__8 ‑> ('input__ ‑> int64) * 'acc__9) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> 'acc__9 ‑> ('input__ ‑> Frenetic_kernel.Packet.dlTyp) * 'acc__10) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> 'acc__10 ‑> ('input__ ‑> Frenetic_kernel.Packet.nwProto) * 'acc__11) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> 'acc__11 ‑> ('input__ ‑> Frenetic_kernel.Packet.nwAddr) * 'acc__12) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> 'acc__12 ‑> ('input__ ‑> Frenetic_kernel.Packet.nwAddr) * 'acc__13) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> 'acc__13 ‑> ('input__ ‑> Frenetic_kernel.Packet.tpPort) * 'acc__14) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> 'acc__14 ‑> ('input__ ‑> Frenetic_kernel.Packet.tpPort) * 'acc__15) ‑> 'acc__0 ‑> ('input__ ‑> t) * 'acc__15
val create : 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 ‑> t
val map : location:((t, Syntax.location) Fieldslib.Field.t ‑> Syntax.location) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> Syntax.abstract_location) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> Syntax.abstract_location) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.dlAddr) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.dlAddr) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.int16) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.dlVlanPcp) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> int64) ‑> vport:((t, int64) Fieldslib.Field.t ‑> int64) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.dlTyp) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.nwProto) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.nwAddr) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.nwAddr) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.tpPort) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> Frenetic_kernel.Packet.tpPort) ‑> t
val iter : location:((t, Syntax.location) Fieldslib.Field.t ‑> unit) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> unit) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> unit) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> unit) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> unit) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> unit) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> unit) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> unit) ‑> vport:((t, int64) Fieldslib.Field.t ‑> unit) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> unit) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> unit) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> unit) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> unit) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> unit) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> unit) ‑> unit
val for_all : location:((t, Syntax.location) Fieldslib.Field.t ‑> bool) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> bool) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> bool) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> bool) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> bool) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> bool) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> bool) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> bool) ‑> vport:((t, int64) Fieldslib.Field.t ‑> bool) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> bool) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> bool) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> bool) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> bool) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> bool) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> bool) ‑> bool
val exists : location:((t, Syntax.location) Fieldslib.Field.t ‑> bool) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> bool) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> bool) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> bool) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> bool) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> bool) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> bool) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> bool) ‑> vport:((t, int64) Fieldslib.Field.t ‑> bool) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> bool) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> bool) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> bool) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> bool) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> bool) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> bool) ‑> bool
val to_list : location:((t, Syntax.location) Fieldslib.Field.t ‑> 'elem__) ‑> from:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> 'elem__) ‑> abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t ‑> 'elem__) ‑> ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> 'elem__) ‑> ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ‑> 'elem__) ‑> vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ‑> 'elem__) ‑> vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ‑> 'elem__) ‑> vswitch:((t, int64) Fieldslib.Field.t ‑> 'elem__) ‑> vport:((t, int64) Fieldslib.Field.t ‑> 'elem__) ‑> ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ‑> 'elem__) ‑> ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ‑> 'elem__) ‑> ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> 'elem__) ‑> ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ‑> 'elem__) ‑> tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> 'elem__) ‑> tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ‑> 'elem__) ‑> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ‑> 'x0 list