package frenetic

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

A packet is a map from fields to values.

module Field : sig ... end
module T : sig ... end
include Core.T with type t = int64 Core.Map.M(Field).t
type t = int64 Core.Map.M(Field).t
val empty : t

the packet with no fields

val eval_d_fdd : Frenetic_netkat.Fdd.FDD.t -> t -> int64 Core.Map.M(T).t