add missing operators in constraint operators module

mpelleau · May 26, 2024 · 6fbba61 · 6fbba61
1 parent 02d380e
commit 6fbba61
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git 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
@@ -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