This commit is contained in:
Simon Cruanes 2022-10-18 15:37:46 -04:00
parent fc254a5d89
commit d1e0400c07
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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