|
|
|
5.3.3 Reference Types are also encoded by a single byte. ::= 0x70 ⇒ | 0x6F ⇒ 5.3.4 Value Types are encoded with their respective encoding as a or ::= 𝑡 ⇒ 𝑡 | 𝑡 ⇒ 𝑡 Note: Value types can occur in contexts where are also allowed, such as in the case of Thus, the binary format for types corresponds to the of small negative values, so that they can coexist with (positive) type indices in the future. 5.3.5 Result Types are encoded by the respective of ::= 𝑡 * : ⇒ [ 𝑡 * ] 5.3.6 Function Types are encoded by the byte 0x60 followed by the respective of parameter and result types. ::= 0x60 rt 1 : rt 2 : ⇒ rt rt 2 5.3.7 Limits are encoded with a preceding flag indicating whether a maximum is present. ::= 0x00 𝑛 ⇒ 𝜖 } | 0x01 𝑛 𝑚 ⇒ 𝑚 } 5.3.8 Memory Types are encoded with their ::= lim ⇒ lim 34 https://en.wikipedia.org/wiki/LEB128#Signed_LEB128 5.3. Types 135 |