Parser for SpecTec ASTs in S-expression format
Trait for decoding SpecTec AST S-expressions
Proc macro for generating decoding implementations for SpecTec AST S-expressions
The NanoWasm spec as a SpecTec AST
The WebAssembly spec as a SpecTec AST