package frenetic

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

parsing NetKAT polcies and predicates

val pol_of_string : ?pos:Lexing.position -> string -> Frenetic_netkat.Syntax.policy
val pred_of_string : ?pos:Lexing.position -> string -> Frenetic_netkat.Syntax.pred
val pol_of_file : string -> Frenetic_netkat.Syntax.policy
val pred_of_file : string -> Frenetic_netkat.Syntax.pred
module Portless : sig ... end