From 1dd71ca1d37d5ca7fae5a7e9766e03194dfb764f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 19:22:30 +0100
Subject: Implement extraction of function calls

---
 src/Expressions.ml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'src/Expressions.ml')

diff --git a/src/Expressions.ml b/src/Expressions.ml
index 6e2b20d0..816870cd 100644
--- a/src/Expressions.ml
+++ b/src/Expressions.ml
@@ -47,6 +47,26 @@ type binop =
   | Shr
 [@@deriving show, ord]
 
+let all_binops =
+  [
+    BitXor;
+    BitAnd;
+    BitOr;
+    Eq;
+    Lt;
+    Le;
+    Ne;
+    Ge;
+    Gt;
+    Div;
+    Rem;
+    Add;
+    Sub;
+    Mul;
+    Shl;
+    Shr;
+  ]
+
 (** Constant value for an operand
 
     It is a bit annoying, but rustc treats some ADT and tuple instances as
-- 
cgit v1.2.3