Bring back Expr.Bool.v

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

Hide file tree

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

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