package frenetic

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val vport : (t, int64) Fieldslib.Field.t
val vswitch : (t, int64) Fieldslib.Field.t
val fold : init:'acc__0 -> location: ('acc__0 -> (t, Frenetic_netkat.Syntax.location) Fieldslib.Field.t -> 'acc__1) -> from: ('acc__1 -> (t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> 'acc__2) -> abstractLoc: ('acc__2 -> (t, Frenetic_netkat.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, Frenetic_netkat.Syntax.location) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Frenetic_netkat.Syntax.location) * 'acc__1) -> from: ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Frenetic_netkat.Syntax.abstract_location) * 'acc__2) -> abstractLoc: ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> Frenetic_netkat.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 to_list : location:((t, Frenetic_netkat.Syntax.location) Fieldslib.Field.t -> 'elem__) -> from: ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> 'elem__) -> abstractLoc: ((t, Frenetic_netkat.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
module Direct : sig ... end