From 0cf8d954a4550372f4238790f60bca614938b51e Mon Sep 17 00:00:00 2001 From: Neven Sajko Date: Wed, 7 Aug 2024 00:19:23 +0200 Subject: [PATCH] include the `[]` doc string into the docs --- 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