diff --git a/core/CCHash.ml b/core/CCHash.ml index 6edbe8c1..5c6b3885 100644 --- a/core/CCHash.ml +++ b/core/CCHash.ml @@ -50,7 +50,7 @@ let finish s = let apply f x = finish (f x init) -(** {2 Combinateurs} *) +(** {2 Combinators} *) let int_ i s = _combine s (Int64.of_int i) let bool_ x s = _combine s (if x then 1L else 2L) diff --git a/core/CCSequence.mli b/core/CCSequence.mli index 9ac6c616..b6e1a4a4 100644 --- a/core/CCSequence.mli +++ b/core/CCSequence.mli @@ -53,8 +53,8 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. of this memory structure, cheaply and repeatably. *) type +'a t = ('a -> unit) -> unit - (** Sequence abstract iterator type, representing a finite sequence of - values of type ['a]. *) + (** Sequence iterator type, representing a finite sequence of values + of type ['a] that one can iterate on. *) type +'a sequence = 'a t diff --git a/core/_tags b/core/_tags new file mode 100644 index 00000000..1ebb483c --- /dev/null +++ b/core/_tags @@ -0,0 +1 @@ +: inline(20)