Merge pull request #8060 from bdsl/patch-8

Clarify in docs that zero is not considered a positive-int
vimeo · Jun 6, 2022 · d55988a · d55988a
2 parents f47b418 + c064edc
commit d55988a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/annotating_code/type_syntax/scalar_types.md b/docs/annotating_code/type_syntax/scalar_types.md
@@ -12,7 +12,7 @@ The type `scalar` is the supertype of all scalar types.
 
 ### positive-int
 
-`positive-int` allows only positive integers
+`positive-int` allows only positive integers (equivalent to `int<1, max>`)
 
 ### numeric