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

Module `Parser.Portless`Source

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