doc/ref: clean up list spec
Change-Id: I22b454f68014f3eef5dc27bd9257720556c7a096
diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index a211238..9e582f3 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -1534,61 +1534,13 @@
[ 1, 2 ] + [ 3, 4, ... ] // [ 1, 2, 3, 4, ... ]
```
-Lists can be multiplied using the `*` operator.
+Lists can be multiplied with a positive `int` using the `*` operator
+to create a repeated the list by the indicated number.
```
3*[1,2] // [1, 2, 1, 2, 1, 2]
-
-[1, 2, ...int] // open list of two elements with element type int
-4*[byte] // [byte, byte, byte, byte]
-[...byte] // byte list or arbitrary length
-(0..5)*[byte] // byte list of size 0 through 5
-
-// list with alternating elements of type string and int
-uint*[string, int]
+3*[1, 2, ...] // [1, 2, 1, 2, 1 ,2]
+[byte]*4 // [byte, byte, byte, byte]
```
-<!-- jba: You don't show multiplication of open lists. Is it allowed? -->
-
-The following illustrate how typed lists can be encoded as structs:
-```
-ip: 4*[byte]
-ipT: {
- Elem: byte
- Tail: {
- Elem: byte
- Tail: {
- Elem: byte
- Tail: {
- Elem: byte
- Tail: null
- }
- }
- }
-}
-
-rangeList: (1..2)*[int]
-rangeListT: {
- Elem: int
- Tail: {
- Elem: int
- Tail: null | {
- Elem: int
- Tail: null
- }
- }
-}
-
-strIntList: uint*[string, int]
-strIntListT: null | {
- Elem: string
- Tail: {
- Elem: int
- Tail: strIntListT
- }
-}
-```
-<!-- TODO(mpvl): should we disallow multiplication with a range?
-If so, how does one specify a list with a range of possible lengths? -->
-
<!-- TODO(mpvl): should we allow multiplication with a range?
If so, how does one specify a list with a range of possible lengths?
