summaryrefslogtreecommitdiff
path: root/src/psl/psl-rewrites.ads
blob: ac76b7805b3e9d4b394b5195cadfefb0ddbc4917 (plain)
1
2
3
4
5
6
7
with PSL.Nodes; use PSL.Nodes;

package PSL.Rewrites is
   function Rewrite_SERE (N : Node) return Node;
   function Rewrite_Property (N : Node) return Node;
   procedure Rewrite_Unit (N : Node);
end PSL.Rewrites;