[spec] Add missing formal Valtype_ok/bot rule

rossberg · rossberg · commit 2246e8b156d5 · 2025-10-03T10:07:52.000+02:00
diff --git a/document/core/valid/types.rst b/document/core/valid/types.rst
@@ -82,6 +82,8 @@ Value Types
 
 $${rule-prose: Valtype_ok}
 
+$${rule: Valtype_ok/bot}
+
 
 .. index:: result type, value type
    pair: validation; result type
