diff options
Diffstat (limited to 'abstract/_domain.ml')
| -rw-r--r-- | abstract/_domain.ml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/abstract/_domain.ml b/abstract/_domain.ml deleted file mode 100644 index 643a6ec..0000000 --- a/abstract/_domain.ml +++ /dev/null @@ -1,14 +0,0 @@ -open Abstract_syntax_tree - -module type S = - sig - type tv - type ts - - val top_ts : ts - - val interp_abs : stat -> ts -> ts - - end - - |