Module Frenetic_netkat.PacketSource

A packet is a map from fields to values.

Sourcemodule Field : sig ... end
Sourcemodule T : sig ... end
include Core.T with type t = int64 Core.Map.M(Field).t
Sourcetype t = int64 Core.Map.M(Field).t
Sourceval empty : t

the packet with no fields

Sourceval apply_fdd : Fdd.FDD.t -> t -> Fdd.Action.t
Sourceval apply_action : Fdd.Action.t -> t -> Core.Set.M(T).t
Sourceval apply_action_seq : Fdd.Value.t Fdd.Action.Seq.t -> t -> t
Sourceval eval_e_fdd : Fdd.FDD.t -> t -> Core.Set.M(T).t
Sourceval eval_d_fdd : Fdd.FDD.t -> t -> int64 Core.Map.M(T).t