1 files changed, 10 insertions, 0 deletions
diff --git a/src/psl/psl-cse.ads b/src/psl/psl-cse.ads
new file mode 100644
index 000000000..e40b0eeb2
--- /dev/null
+++ b/src/psl/psl-cse.ads
@@ -0,0 +1,10 @@
+with PSL.Nodes; use PSL.Nodes;
+
+package PSL.CSE is
+   --  Build boolean expressions while trying to make the node uniq.
+   function Build_Bool_And (L, R : Node) return Node;
+   function Build_Bool_Or (L, R : Node) return Node;
+   function Build_Bool_Not (N : Node) return Node;
+
+   procedure Dump_Hash_Table (Level : Natural := 0);
+end PSL.CSE;