package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Bisim : sig ... end
module Domain : sig ... end

The domain of an FDD/Automaton is given by the set of values occuring with each field, either in a test or a modification.

module FabricGen : sig ... end
module Fdd : sig ... end

Forwarding Decision Diagrams

module Generated_Parser : sig ... end
module Global_compiler : sig ... end
module Json : sig ... end
module LexBuffer : sig ... end

A custom lexbuffer that automatically keeps track of the source location. This module is a thin wrapper arounds sedlexing's default buffer, which does not provide this functionality.

module Lexer : sig ... end
module Local_compiler : sig ... end
module Optimize : sig ... end
module Packet : sig ... end

A packet is a map from fields to values.

module Parser : sig ... end

parsing NetKAT polcies and predicates

module Portless_Compiler : sig ... end
module Portless_Generated_Parser : sig ... end
module Pretty : sig ... end
module Semantics : sig ... end
module Syntax : sig ... end

NetKAT Syntax

module Tokens : sig ... end
module Virtual_Compiler : sig ... end
module Vlr : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct