From eb860afc29a1cb00daa93869445755f843a3a400 Mon Sep 17 00:00:00 2001 From: Fardale Date: Mon, 28 Oct 2019 13:05:40 +0100 Subject: [PATCH] add `CCListLabels.to_string` --- src/core/CCListLabels.mli | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/core/CCListLabels.mli b/src/core/CCListLabels.mli index fbfe7bd7..d32f582a 100644 --- a/src/core/CCListLabels.mli +++ b/src/core/CCListLabels.mli @@ -683,6 +683,12 @@ val random_choose : 'a t -> 'a random_gen val random_sequence : 'a random_gen t -> 'a t random_gen +val to_string : ?start:string -> ?stop:string -> ?sep:string -> + ('a -> string) -> 'a t -> string +(** [to_string ~start ~stop ~sep item_to_string l] print [l] to a string using + [sep] as a separator between elements of [l]. + @since NEXT_RELEASE *) + val to_seq : 'a t -> 'a sequence (** Return a [sequence] of the elements of the list. *)