frenetic 5.0.5 · OCaml Package

val names : string list

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 abstractLoc : 
  (t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t

val from : (t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t

val location : (t, Frenetic_netkat.Syntax.location) 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 create : 
  location:Frenetic_netkat.Syntax.location ->
  from:Frenetic_netkat.Syntax.abstract_location ->
  abstractLoc:Frenetic_netkat.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, Frenetic_netkat.Syntax.location) Fieldslib.Field.t ->
      Frenetic_netkat.Syntax.location) ->
  from:
    ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t ->
      Frenetic_netkat.Syntax.abstract_location) ->
  abstractLoc:
    ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t ->
      Frenetic_netkat.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, Frenetic_netkat.Syntax.location) Fieldslib.Field.t -> unit) ->
  from:
    ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> unit) ->
  abstractLoc:
    ((t, Frenetic_netkat.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, Frenetic_netkat.Syntax.location) Fieldslib.Field.t -> bool) ->
  from:
    ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> bool) ->
  abstractLoc:
    ((t, Frenetic_netkat.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, Frenetic_netkat.Syntax.location) Fieldslib.Field.t -> bool) ->
  from:
    ((t, Frenetic_netkat.Syntax.abstract_location) Fieldslib.Field.t -> bool) ->
  abstractLoc:
    ((t, Frenetic_netkat.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, 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

package frenetic