Optimize (p.frenetic.5.0.5.doc.frenetic.netkat.Frenetic

Sourceval mk_and : Syntax.pred -> Syntax.pred -> Syntax.pred

Sourceval mk_or : Syntax.pred -> Syntax.pred -> Syntax.pred

Sourceval mk_not : Syntax.pred -> Syntax.pred

Sourceval mk_filter : Syntax.pred -> Syntax.policy

Sourceval mk_union : Syntax.policy -> Syntax.policy -> Syntax.policy

Sourceval mk_seq : Syntax.policy -> Syntax.policy -> Syntax.policy

Sourceval mk_star : Syntax.policy -> Syntax.policy

Sourceval specialize_pred : Syntax.switchId -> Syntax.pred -> Syntax.pred

Sourceval specialize_policy : Syntax.switchId -> Syntax.policy -> Syntax.policy

Sourceval mk_big_and : Syntax.pred list -> Syntax.pred

Sourceval mk_big_or : Syntax.pred list -> Syntax.pred

Sourceval mk_big_union : Syntax.policy list -> Syntax.policy

Sourceval mk_big_seq : Syntax.policy list -> Syntax.policy

Sourceval norm_policy : Syntax.policy -> Syntax.policy

Sourceval flatten_union : Syntax.policy -> Syntax.policy list

Warning: will re-order the elements in a union