Missing case in docs

Wasm-DSL · Dec 7, 2023 · 5b85a2f · 5b85a2f
1 parent fcd99b9
commit 5b85a2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/spectec/doc/Language.md b/spectec/doc/Language.md
@@ -94,6 +94,7 @@ deftyp ::=
   nottyp                                                              free notation
   "{" list(atom typ hint* premise*, ",") "}"                          record
   "..."? "|" list(varid | nottyp hint* premise*, "|") "|" "..."       variant
+  list1(arith | arith "|" "..." "|" arith, "|")                       range / enumeration
 
 nottyp ::=
   typ                                       plain type