1with PSL.Nodes; use PSL.Nodes; 2 3package PSL.Rewrites is 4 function Rewrite_Boolean (N : Node) return Node; 5 function Rewrite_SERE (N : Node) return Node; 6 function Rewrite_Property (N : Node) return Node; 7 procedure Rewrite_Unit (N : Node); 8end PSL.Rewrites; 9