From d1e0400c070cd9034d8cf0d53cd3352800649e09 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 18 Oct 2022 15:37:46 -0400 Subject: [PATCH] detail --- src/Iter.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Iter.mli b/src/Iter.mli index 7a6f8c4..f2db278 100644 --- a/src/Iter.mli +++ b/src/Iter.mli @@ -1,4 +1,4 @@ -(** Simple and Efficient Iterators +(** Simple and Efficient Iterators. The iterators are designed to allow easy transfer (mappings) between data structures, without defining [n^2] conversions between the [n] types. The