diff --git a/ml-proto/README.md b/ml-proto/README.md index 4964e73053..df57d65ca1 100644 --- a/ml-proto/README.md +++ b/ml-proto/README.md @@ -194,18 +194,18 @@ param: ( param * ) | ( param ) result: ( result ) local: ( local * ) | ( local ) -module: ( module * * * * * ? * ) -import: ( import ? "" "" (param * ) (result )* ) -export: ( export "*" ) -global: ( global * ) | ( global ) -table: ( table * ) -memory: ( memory ? ) -data: ( data "*" ) +module: ( module * * * *
* ? ) +import: ( import ? "" "" (param * ) (result )* ) +export: ( export "*" ) +global: ( global * ) | ( global ) +table: ( table * ) +memory: ( memory ? * ) +segment: ( segment "*" ) ``` Here, productions marked with respective comments are abbreviation forms for equivalent expansions. -The data string is used to initialise the lower end of the memory. It is an ASCII string, that can have the usual escape sequences, or hex escapes of the form `\xx` to denote a single byte. +The segment string is used to initialize the memory at the given offset. Comments can be written in one of two ways: