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

Module `Frenetic_netkat.Pretty`Source

Sourceval format_pred : Format.formatter -> Syntax.pred -> unit

Sourceval format_policy : Format.formatter -> Syntax.policy -> unit

Sourceval string_of_policy : Syntax.policy -> string

Sourceval string_of_pred : Syntax.pred -> string

Sourceval pretty_assoc : Syntax.policy -> Syntax.policy