diff options
Diffstat (limited to 'src/psl/psl-rewrites.ads')
-rw-r--r-- | src/psl/psl-rewrites.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/psl/psl-rewrites.ads b/src/psl/psl-rewrites.ads new file mode 100644 index 000000000..ac76b7805 --- /dev/null +++ b/src/psl/psl-rewrites.ads @@ -0,0 +1,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; |