From 73fa920959d22c084265fe847f4788564bf49700 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 7 May 2014 16:13:31 +0200
Subject: Achieve nothing.

---
 abstract/domain.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'abstract/domain.ml')

diff --git a/abstract/domain.ml b/abstract/domain.ml
index d022e34..643a6ec 100644
--- a/abstract/domain.ml
+++ b/abstract/domain.ml
@@ -1,7 +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