X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/9fdfd04e29fcefdb9120a4d9467827ceaf8dfaa0..6150323d86c4feb54bc8e994f7a4e52c3b34c6ec:/interpretor/types.ml

diff --git a/interpretor/types.ml b/interpretor/types.ml
index 99a3877..dd82e7c 100644
--- 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