Disjoint domain: Remark on why to_seq is not efficient

Author: michael-schwarz

src/domain/disjointDomain.ml

@@ -117,7 +117,7 @@ struct
       add e acc
     ) (empty ()) es
   let elements m = fold List.cons m [] (* no intermediate per-bucket lists *)
-  let to_seq m = fold Seq.cons m Seq.empty
+  let to_seq m = fold Seq.cons m Seq.empty (* Less efficient than possible, eagerly folds over set *)
   let map f m = fold (fun e acc ->
       add (f e) acc
     ) m (empty ()) (* no intermediate lists *)
@@ -324,7 +324,7 @@ struct
       add e acc
     ) (empty ()) es
   let elements m = fold List.cons m [] (* no intermediate per-bucket lists *)
-  let to_seq m = fold Seq.cons m Seq.empty
+  let to_seq m = fold Seq.cons m Seq.empty (* Less efficient than possible, eagerly folds over set *)
   let map f s = fold (fun e acc ->
       add (f e) acc
     ) s (empty ()) (* no intermediate lists *)