From b54714957a8c5beb2193116748752d5d76fbc4cf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Oct 2013 13:35:11 +0200 Subject: [PATCH] document to_list --- sequence.mli | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/sequence.mli b/sequence.mli index 86b6ba3..a2c84e7 100644 --- a/sequence.mli +++ b/sequence.mli @@ -241,9 +241,12 @@ val map2_2 : ('a -> 'b -> 'c) -> ('a -> 'b -> 'd) -> ('a, 'b) t2 -> ('c, 'd) t2 (** {2 Basic data structures converters} *) val to_list : 'a t -> 'a list + (** Convert the sequence into a list. Preserves order of elements. + This function is tail-recursive, but consumes 2*n memory. + If order doesn't matter to you, consider {!to_rev_list}. *) val to_rev_list : 'a t -> 'a list - (** Get the list of the reversed sequence (more efficient) *) + (** Get the list of the reversed sequence (more efficient than {!to_list}) *) val of_list : 'a list -> 'a t