Skip to content

Commit 71b8142

Browse files
rvolosatovslukewagner
authored andcommitted
record value byte length
Refs #352 Signed-off-by: Roman Volosatovs <[email protected]>
1 parent 4a953fa commit 71b8142

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

design/mvp/Binary.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -355,7 +355,7 @@ Notes:
355355
(See [Value Definitions](Explainer.md#value-definitions) in the explainer.)
356356

357357
```ebnf
358-
value ::= t:<valtype> v:<val(t)> => (value t v)
358+
value ::= t:<valtype> len:<uN> v:<val(t)> => (value t v) (where len = |v+|)
359359
val(bool) ::= 0x00 => false
360360
| 0x01 => true
361361
val(u8) ::= v:<core:byte> => v

0 commit comments

Comments
 (0)