Add Seq.is_empty in compat

src/lib/structures/modelMap.ml

@@ -116,7 +116,7 @@ module Graph = struct
       let rec aux ppf seq =
         match seq () with
         | Seq.Nil -> ()
-        | Cons (args, seq) when Seq.is_empty seq ->
+        | Cons (args, seq) when Compat.Seq.is_empty seq ->
           Fmt.pf ppf "%a" (pp_args 0) args
         | Cons (args, seq) ->
           Fmt.pf ppf "(or %a %a)"
@@ -140,7 +140,7 @@ module Graph = struct
     let rec aux ppf seq =
       match seq () with
       | Seq.Nil -> ()
-      | Cons ((ret_val, _), seq) when Seq.is_empty seq ->
+      | Cons ((ret_val, _), seq) when Compat.Seq.is_empty seq ->
         Fmt.pf ppf "%a" Value.pp ret_val
       | Cons ((ret_val, fiber), seq) ->
         Fmt.pf ppf "(@[<hv>ite %a@ %a@ %a)@]"

src/lib/util/compat.ml

@@ -29,6 +29,13 @@ module Seq = struct
 
   open Stdlib.Seq
 
+  let is_empty xs =
+    match xs() with
+    | Nil ->
+      true
+    | Cons (_, _) ->
+      false
+
   let rec append xs ys () =
     match xs () with
     | Nil -> ys ()

src/lib/util/compat.mli

@@ -42,6 +42,9 @@ end
 module Seq : sig
   type 'a t = 'a Stdlib.Seq.t
 
+  (* @since 4.14.0 *)
+  val is_empty : 'a t -> bool
+
   (* @since 4.11.0 *)
   val append : 'a t -> 'a t -> 'a t
 end