package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type
val mk_not : Syntax.pred -> Syntax.pred
val mk_filter : Syntax.pred -> 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