package frenetic

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module 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_action : Frenetic_netkat.Fdd.Action.t -> t -> Core.Set.M(T).t
Sourceval eval_e_fdd : Frenetic_netkat.Fdd.FDD.t -> t -> Core.Set.M(T).t
Sourceval eval_d_fdd : Frenetic_netkat.Fdd.FDD.t -> t -> int64 Core.Map.M(T).t
OCaml

Innovation. Community. Security.