From e39edd8a7ec45ae6d3d1d3239620853b5a7be79e Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 23 Jan 2024 10:11:31 +0000
Subject: [PATCH] [lib] doc for bags
---
src/libraries/utils/bag.mli | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/libraries/utils/bag.mli b/src/libraries/utils/bag.mli
index 181eaeea0f3..4c9e704b23f 100644
--- a/src/libraries/utils/bag.mli
+++ b/src/libraries/utils/bag.mli
@@ -45,6 +45,10 @@ val fold_right : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val find : ('a -> bool) -> 'a t -> 'a
val find_opt : ('a -> bool) -> 'a t -> 'a option
val find_map : ('a -> 'b option) -> 'a t -> 'b option
+(** [find_map f b]: finds the first element [x] of the bag such
+ that [f x] returns [Some y], and returns [Some y]. If no such
+ element exists, returns None.
+*)
val exists : ('a -> bool) -> 'a t -> bool
val for_all : ('a -> bool) -> 'a t -> bool
--
GitLab