From 264c9b608ec2cf4c672f02789e76ab7c9d3a2638 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Sep 2020 13:48:39 -0400 Subject: [PATCH] un-specify order of elements in CCMap.to_list --- src/core/CCMap.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/core/CCMap.mli b/src/core/CCMap.mli index 32a46b10..4797e449 100644 --- a/src/core/CCMap.mli +++ b/src/core/CCMap.mli @@ -126,7 +126,8 @@ module type S = sig @since 0.15 *) val to_list : 'a t -> (key * 'a) list - (** [to_list m] builds a list of the bindings of the given map [m]. *) + (** [to_list m] builds a list of the bindings of the given map [m]. + The order is unspecified. *) val pp : ?pp_start:unit printer -> ?pp_stop:unit printer -> ?pp_arrow:unit printer -> ?pp_sep:unit printer -> key printer -> 'a printer -> 'a t printer