Up – Package index » frenetic » Library frenetic.netkat » Frenetic_netkat » Parser

Module `Frenetic_netkat.Parser`Source

parsing NetKAT polcies and predicates

Sourceval pol_of_string : ?pos:Lexing.position -> string -> Syntax.policy

Sourceval pred_of_string : ?pos:Lexing.position -> string -> Syntax.pred

Sourceval pol_of_file : string -> Syntax.policy

Sourceval pred_of_file : string -> Syntax.pred

Sourcemodule Portless : sig ... end