Module Frenetic_netkat.Pretty

val format_pred : Format.formatter ‑> Syntax.pred ‑> unit
val format_policy : Format.formatter ‑> Syntax.policy ‑> unit
val string_of_policy : Syntax.policy ‑> string
val string_of_pred : Syntax.pred ‑> string
val pretty_assoc : Syntax.policy ‑> Syntax.policy