webassembly details

1. Types

valtype ::= i32 |i64 |f32 |f64
resulttype ::= [vec(val)]
functype ::= resulttype \rightarrow resulttype
limits ::= \{min u32, max u32\}
memtype ::= limits
tabletype ::= limits elemtype
elemtype ::= funcref
globaltype ::= mut valtype
mut ::= const | var