Module Frenetic_netkat.Semantics.HeadersValues.Fields
val tcpDstPort : (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.tval tcpSrcPort : (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.tval ipDst : (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.tval ipSrc : (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.tval ipProto : (t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.tval ethType : (t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.tval vport : (t, int64) Fieldslib.Field.tval vswitch : (t, int64) Fieldslib.Field.tval vlanPcp : (t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.tval vlan : (t, Frenetic_kernel.Packet.int16) Fieldslib.Field.tval ethDst : (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.tval ethSrc : (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.tval 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__15val 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__15val 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 ‑> tval 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) ‑> tval 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) ‑> unitval 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) ‑> boolval 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) ‑> boolval 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__ listval map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ‑> 'x0 list