From d64691f1b3ec844980b04b3fc09433e8dd1269e0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 18 Feb 2013 17:23:56 +0100
Subject: [PATCH] creation of the empty sequence

---
 sequence.ml  | 2 ++
 sequence.mli | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/sequence.ml b/sequence.ml
index c71c71c..3383d68 100644
--- a/sequence.ml
+++ b/sequence.ml
@@ -31,6 +31,8 @@ type 'a t = ('a -> unit) -> unit
 (** Build a sequence from a iter function *)
 let from_iter f = f
 
+let empty = fun k -> ()
+
 let singleton x = fun k -> k x
 
 (** Infinite sequence of the same element *)
diff --git a/sequence.mli b/sequence.mli
index df96b51..5828621 100644
--- a/sequence.mli
+++ b/sequence.mli
@@ -36,6 +36,9 @@ type +'a t
 val from_iter : (('a -> unit) -> unit) -> 'a t
   (** Build a sequence from a iter function *)
 
+val empty : 'a t
+  (** Empty sequence *)
+
 val singleton : 'a -> 'a t
   (** Singleton sequence *)