Merge 18ffdd707b into 4294dc7ca3

Add square brackets in comment for CCList.return
2025-12-11 21:48:35 -05:00 · 2025-01-29 15:33:50 +08:00 · 2025-01-28 22:19:11 -05:00
1 changed files with 1 additions and 1 deletions
--- a/src/core/CCList.mli
+++ b/src/core/CCList.mli
@ -384,7 +384,7 @@ val mguard : bool -> unit t
    @since 3.1 *)

 val return : 'a -> 'a t
-(** [return x] is [x]. *)
+(** [return x] is [[x]]. *)

 val take : int -> 'a t -> 'a t
 (** [take n l] takes the [n] first elements of the list [l], drop the rest. *)
Author	SHA1	Message	Date
猗露	80b2fbcd3e	Merge `18ffdd707b` into `4294dc7ca3`	2025-01-29 15:33:50 +08:00
Adlertz, Niclas	4294dc7ca3	Add square brackets in comment for CCList.return Some checks failed Build and Test / build (push) Has been cancelled Details Build and Test / format (push) Has been cancelled Details	2025-01-28 22:19:11 -05:00