package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install

Dune Dependency

Authors

Maintainers

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Fdd/Field/Env/index.html

Module Field.EnvSource

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

Sourcetype t
Sourceval empty : t
Sourceexception Full
Sourceval add : t -> string -> Syntax.meta_init -> bool -> t

may raise Full

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

may raise Not_found

OCaml

Innovation. Community. Security.