From a3b342636553460bfc74066a5efb694561cee947 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 19 Mar 2022 10:24:38 -0400 Subject: [PATCH] forgot value in labels --- src/IterLabels.mli | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/IterLabels.mli b/src/IterLabels.mli index 676937e..f9927b9 100644 --- a/src/IterLabels.mli +++ b/src/IterLabels.mli @@ -620,6 +620,11 @@ type 'a gen = unit -> 'a option val of_gen : 'a gen -> 'a t (** Traverse eagerly the generator and build an iterator from it *) +val of_gen_once : 'a gen -> 'a t +(** One shot iterator using this generator. + It must not be traversed twice. + @since NEXT_RELEASE *) + val to_gen : 'a t -> 'a gen (** Make the iterator persistent (O(n)) and then iterate on it. Eager. *)