From 9ccef2c0850b73bf3d92f26bfa0aeacf933e1d17 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 7 May 2014 17:41:06 +0200
Subject: Restart anew ; done nonrelational stuff, interpret remains, intervals
 domain remains

---
 abstract/_domain.ml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 abstract/_domain.ml

(limited to 'abstract/_domain.ml')

diff --git a/abstract/_domain.ml b/abstract/_domain.ml
new file mode 100644
index 0000000..643a6ec
--- /dev/null
+++ b/abstract/_domain.ml
@@ -0,0 +1,14 @@
+open Abstract_syntax_tree
+
+module type S =
+  sig
+    type tv
+    type ts
+
+    val top_ts : ts
+
+    val interp_abs : stat -> ts -> ts
+    
+  end
+
+
-- 
cgit v1.2.3