package frenetic

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

environment, mapping meta field identifiers to static FDD fields, and, for convenience, the initializer and mutability of the identifier

type t
val empty : t
exception Full
val add : t -> string -> Frenetic_netkat.Syntax.meta_init -> bool -> t

may raise Full

val lookup : t -> string -> field * (Frenetic_netkat.Syntax.meta_init * bool)

may raise Not_found