Make Expr.Bool functions backwards compatible

formalsec · Jun 24, 2024 · d6d1ca5 · d6d1ca5
1 parent b4ac590
commit d6d1ca5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/lib/expr.ml b/lib/expr.ml
@@ -519,7 +519,9 @@ module Bool = struct
 
   let to_val b = if b then true_ else false_
 
-  let not_ (b : t) =
+  let v b = to_val b [@@inline]
+
+  let not (b : t) =
     let bexpr = view b in
     match of_val bexpr with
     | Some b -> to_val (not b)

diff --git a/lib/expr.mli b/lib/expr.mli
@@ -135,7 +135,9 @@ module Bool : sig
 
   val false_ : t
 
-  val not_ : t -> t
+  val v : bool -> t
+
+  val not : t -> t
 
   val equal : t -> t -> t