1 files changed, 18 insertions, 0 deletions
diff --git a/abstract/constant_domain.ml b/abstract/constant_domain.ml
new file mode 100644
index 0000000..8444779
--- /dev/null
+++ b/abstract/constant_domain.ml
@@ -0,0 +1,18 @@
+
+
+module Make : Domain.s =
+  struct
+
+
+    type tv =
+      | Bot
+      | BTrue
+      | BFalse
+      | BTop
+      | I of Z.t
+      | ITop
+      | Top
+
+    type ts = tv VarMap.t
+
+  end