Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

[Faustine.git] / interpretor / types.ml

diff --git a/interpretor/types.ml b/interpretor/types.ml
index 99a3877..dd82e7c 100644 (file)
--- a/interpretor/types.ml
+++ b/interpretor/types.ml
@@ -62,6 +62,8 @@ class type value_type =
     method leq : value_type -> value_type
     method eq : value_type -> value_type
     method neq : value_type -> value_type
+    method shl : value_type -> value_type
+    method shr : value_type -> value_type
     method max : value_type -> value_type
     method min : value_type -> value_type
   end;;
@@ -109,6 +111,8 @@ type symbol = Add
            | Leq
            | Eq
            | Neq
+           | Shl
+           | Shr
            | Max
            | Min
            | Prefix
@@ -185,6 +189,8 @@ class type signal_type =
       method leq : signal_type -> signal_type
       method eq : signal_type -> signal_type
       method neq : signal_type -> signal_type
+      method shl : signal_type -> signal_type
+      method shr : signal_type -> signal_type
       method max : signal_type -> signal_type
       method min : signal_type -> signal_type
       method rdtable : signal_type -> signal_type -> signal_type