witnext 0.10.0-beta3

witx parser for the witx-codegen webassembly code generator
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

(witx
  (module $a)
)

(witx
  (module $a (typename $x u32))
)

(assert_invalid
  (witx
    (module $a
      (typename $x u32)
      (typename $x u32)
    )
  )
  "Redefinition of name `x`")