From 4370edb858b7d8a4e71fbc689d6aa63cf1ce8f78 Mon Sep 17 00:00:00 2001 From: Neven Sajko Date: Sun, 25 Aug 2024 12:41:21 +0200 Subject: [PATCH] include the `[]` doc string into the docs (#55400) --- doc/src/base/base.md | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/src/base/base.md b/doc/src/base/base.md index 1a8cd29f91066a..b5d50a846ce890 100644 --- a/doc/src/base/base.md +++ b/doc/src/base/base.md @@ -106,6 +106,7 @@ where . -> :: +[] ``` ## Standard Modules