val mk_and : Syntax.pred ‑> Syntax.pred ‑> Syntax.pred
val mk_or : Syntax.pred ‑> Syntax.pred ‑> Syntax.pred
val mk_not : Syntax.pred ‑> Syntax.pred
val mk_filter : Syntax.pred ‑> Syntax.policy
val mk_union : Syntax.policy ‑> Syntax.policy ‑> Syntax.policy
val mk_seq : Syntax.policy ‑> Syntax.policy ‑> Syntax.policy
val mk_star : Syntax.policy ‑> Syntax.policy
val specialize_pred : Syntax.switchId ‑> Syntax.pred ‑> Syntax.pred
val specialize_policy : Syntax.switchId ‑> Syntax.policy ‑> Syntax.policy
val mk_big_and : Syntax.pred list ‑> Syntax.pred
val mk_big_or : Syntax.pred list ‑> Syntax.pred
val mk_big_union : Syntax.policy list ‑> Syntax.policy
val mk_big_seq : Syntax.policy list ‑> Syntax.policy
val norm_policy : Syntax.policy ‑> Syntax.policy
val flatten_union : Syntax.policy ‑> Syntax.policy list
Warning: will re-order the elements in a union