From 6fbba61fbe47a663c939c6a847a5a7ed1fd3f00d Mon Sep 17 00:00:00 2001
From: ghilesZ <ghiles.ziat@gmail.com>
Date: Sun, 26 May 2024 10:30:41 +0200
Subject: [PATCH] add missing operators in constraint operators module

---
 lib/lang/constraint.ml  | 8 ++++++++
 lib/lang/constraint.mli | 8 ++++++++
 2 files changed, 16 insertions(+)

diff --git a/lib/lang/constraint.ml b/lib/lang/constraint.ml
index 4049f681..cf40493b 100644
--- a/lib/lang/constraint.ml
+++ b/lib/lang/constraint.ml
@@ -195,4 +195,12 @@ module Operators = struct
   let ( = ) = eq
 
   let ( <> ) = neq
+
+  let ( && ) = and_
+
+  let ( || ) = or_
+
+  let ( => ) = imply
+
+  let not = not_
 end
diff --git a/lib/lang/constraint.mli b/lib/lang/constraint.mli
index b8ee674d..34edbc65 100644
--- a/lib/lang/constraint.mli
+++ b/lib/lang/constraint.mli
@@ -163,4 +163,12 @@ module Operators : sig
   val ( = ) : Expr.t -> Expr.t -> t
 
   val ( <> ) : Expr.t -> Expr.t -> t
+
+  val ( && ) : t -> t -> t
+
+  val ( || ) : t -> t -> t
+
+  val ( => ) : t -> t -> t
+
+  val not : t -> t
 end