Webassembly schema, and the same in json format.

schema.grammar

# note that this is a pre-MVP version.
# there is a distilled and improved version of this in the:
# https://github.com/cheery/lever/blob/master/lib/webassembly-1.json

file =>
    empty_file {}
    section {file "section" int string}
    section {file "section" int string spec}
    table   {file "table" @symbol spec table_pairs}
    alias   {file "alias" @symbol spec}
    opcode  {file "op" int string op_args}

op_args =>
    blank_fields {}
    append { op_args op_spec }

op_spec =>
    op_label_imm { @symbol ":" spec }
    op_imm       { spec }

spec =>
    union { "union" spec "{" union_fields "}" }
    group { "group" "{" group_fields "}" }
    sequence { group { "group" "*" "{" group_fields "}" } }
    optional { spec "?" }
    sequence { spec "*" }
    primitive { @symbol }

union_fields =>
    blank_fields {}
    append { union_fields union_field }
    
union_field =>
    union_field { string "{" group_fields "}" }

group_fields =>
    blank_fields {}
    append { group_fields group_field }

group_field =>
    constant { "constant" int spec }
    field    { @symbol spec }

table_pairs =>
    blank_table {}
    fill_table {table_pairs int string}

string =>
    string { @string }

int =>
    int { @int }
    hex { @hex } 

schema2json.lc

# note that this is a pre-MVP version.
# there is a distilled and improved version of this in the:
# https://github.com/cheery/lever/blob/master/lib/webassembly-1.json

# http://leverlanguage.com
import tokenizer, chartparser, grammar_language
import fs, json

language = grammar_language.read_file(dir ++ "schema.grammar")
language.new_parser = chartparser.preprocess(
    language.grammar,
    language.table.nonterminal("file"))

main = (args):
    source = "webassembly-12.schema"
    tokens = tokenizer.read_file(source,
        language.table.keywords)
    parser = language.new_parser()
    for token in tokens
        terminal = language.table.terminal(token.name)
        if not parser.expecting(terminal)
            raise chartparser.SyntaxErrorExpected(
                parser.expect, token.start, source)
        parser.step(terminal, token, token.start, token.stop)
    if not parser.accepted
        raise chartparser.SyntaxErrorExpected(
            parser.expect, token.stop, source, true)

    argl = []
    result = parser.traverse(
        (rule, args, start, stop):
            return rule.annotation(actions, args, argl)
    )
    print(json.write_string(result, {indent=2}))
    #args.pop(0)
    #print(args)

actions = :exnihilo()
    empty_file = ():
        return {
            sections=[]
            tables={}
            alias={}
            ops=[]
        }
    section = (schema, index, name, spec=null):
        schema["sections"].append({
            id=index
            name=name
            spec=spec
        })
        return schema
    table = (schema, name, spec, table):
        schema["tables"][name.string] = {
            spec=spec
            table=table
        }
        return schema
    alias = (schema, name, spec):
        schema["alias"][name.string] = spec
        return schema
    opcode = (schema, index, name, args):
        schema["ops"].append({
            index=index
            name=name
            args=args
        })
        return schema

    op_imm = (spec):
        return {type="imm", spec=spec}
    op_label_imm = (label, spec):
        return {type="imm", spec=spec, label=label.string}

    blank_fields = ():
        return []
    append = (a, b):
        a.append(b)
        return a

    # Group fields
    constant = (num, spec):
        return {type="constant", value=num, spec=spec}
    field = (name, spec):
        return {type="field", name=name.string, spec=spec}

    union_field = (name, spec):
        return {name=name, spec=spec}

    # Specs
    group = (fields):
        return {type="group", fields=fields}
    union = (fields):
        return {type="union", fields=fields}
    primitive = (name):
        return {type="data", name=name.string}
    optional = (spec):
        return {type="optional", spec=spec}
    sequence = (spec):
        return {type="list", spec=spec}

    blank_table = ():
        return []
    fill_table = (table, id, string):
        table.append({id=id, name=string})
        return table


    # Strings in the grammar notation.
    string = (token):
        return token.string
    # Numbers in the grammar notation.
    int = (token):
        return parse_int(token.string)
    hex = (token):
        return parse_int(token.string, 16) 

webassembly-12.json

{
  "sections": [
    {
      "id": 1,
      "name": "type",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "constant",
              "value": 64,
              "spec": {"type": "data", "name": "varuint7"}
            },
            {
              "type": "field",
              "name": "argtypes",
              "spec": {
                "type": "list",
                "spec": {"type": "data", "name": "value_type"}
              }
            },
            {
              "type": "field",
              "name": "restype",
              "spec": {
                "type": "optional",
                "spec": {"type": "data", "name": "value_type"}
              }
            }
          ]
        }
      }
    },
    {
      "id": 2,
      "name": "import",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "field",
              "name": "module",
              "spec": {"type": "data", "name": "string"}
            },
            {
              "type": "field",
              "name": "field",
              "spec": {"type": "data", "name": "string"}
            },
            {
              "type": "field",
              "name": "type",
              "spec": {
                "type": "union",
                "fields": {"type": "data", "name": "external_kind"}
              }
            }
          ]
        }
      }
    },
    {
      "id": 3,
      "name": "function",
      "spec": {"type": "list", "spec": {"type": "data", "name": "varuint32"}}
    },
    {
      "id": 4,
      "name": "table",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "constant",
              "value": 32,
              "spec": {"type": "data", "name": "varuint7"}
            },
            {
              "type": "field",
              "name": "limits",
              "spec": {"type": "data", "name": "resizable_limits"}
            }
          ]
        }
      }
    },
    {
      "id": 5,
      "name": "memory",
      "spec": {
        "type": "list",
        "spec": {"type": "data", "name": "resizable_limits"}
      }
    },
    {
      "id": 6,
      "name": "global",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "field",
              "name": "type",
              "spec": {"type": "data", "name": "value_type"}
            },
            {
              "type": "constant",
              "value": 0,
              "spec": {"type": "data", "name": "varuint1"}
            },
            {
              "type": "field",
              "name": "init_expr",
              "spec": {"type": "data", "name": "code"}
            }
          ]
        }
      }
    },
    {
      "id": 7,
      "name": "export",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "field",
              "name": "field",
              "spec": {"type": "data", "name": "string"}
            },
            {
              "type": "field",
              "name": "kind",
              "spec": {"type": "data", "name": "external_kind"}
            },
            {
              "type": "field",
              "name": "index",
              "spec": {"type": "data", "name": "varuint32"}
            }
          ]
        }
      }
    },
    {
      "id": 8,
      "name": "start",
      "spec": {"type": "list", "spec": {"type": "data", "name": "varuint32"}}
    },
    {
      "id": 9,
      "name": "element",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "constant",
              "value": 0,
              "spec": {"type": "data", "name": "varuint32"}
            },
            {
              "type": "field",
              "name": "init_expr",
              "spec": {"type": "data", "name": "code"}
            },
            {
              "type": "field",
              "name": "elems",
              "spec": {
                "type": "list",
                "spec": {"type": "data", "name": "varuint32"}
              }
            }
          ]
        }
      }
    },
    {
      "id": 10,
      "name": "code",
      "spec": {"type": "list", "spec": {"type": "data", "name": "blob"}}
    },
    {
      "id": 11,
      "name": "data",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "constant",
              "value": 0,
              "spec": {"type": "data", "name": "varuint32"}
            },
            {
              "type": "field",
              "name": "init_expr",
              "spec": {"type": "data", "name": "code"}
            },
            {
              "type": "field",
              "name": "data",
              "spec": {"type": "data", "name": "blob"}
            }
          ]
        }
      }
    },
    {
      "id": 12,
      "name": "name",
      "spec": {
        "type": "list",
        "spec": {
          "type": "group",
          "fields": [
            {
              "type": "field",
              "name": "name",
              "spec": {"type": "data", "name": "string"}
            },
            {
              "type": "field",
              "name": "locals",
              "spec": {
                "type": "list",
                "spec": {"type": "data", "name": "string"}
              }
            }
          ]
        }
      }
    }
  ],
  "tables": {
    "value_type": {
      "spec": {"type": "data", "name": "uint8"},
      "table": [
        {"id": 1, "name": "i32"},
        {"id": 2, "name": "i64"},
        {"id": 3, "name": "f32"},
        {"id": 4, "name": "f64"}
      ]
    },
    "external_kind": {
      "spec": {"type": "data", "name": "uint8"},
      "table": [
        {"id": 1, "name": "function"},
        {"id": 2, "name": "table"},
        {"id": 3, "name": "memory"},
        {"id": 4, "name": "global"}
      ]
    }
  },
  "alias": {
    "function_body": {
      "type": "group",
      "fields": [
        {
          "type": "field",
          "name": "locals",
          "spec": {
            "type": "list",
            "spec": {
              "type": "group",
              "fields": [
                {
                  "type": "field",
                  "name": "count",
                  "spec": {"type": "data", "name": "varuint32"}
                },
                {
                  "type": "field",
                  "name": "type",
                  "spec": {"type": "data", "name": "value_type"}
                }
              ]
            }
          }
        },
        {
          "type": "field",
          "name": "body",
          "spec": {"type": "data", "name": "code"}
        }
      ]
    },
    "br_table": {
      "type": "group",
      "fields": [
        {
          "type": "field",
          "name": "targets",
          "spec": {
            "type": "list",
            "spec": {"type": "data", "name": "varuint32"}
          }
        },
        {
          "type": "field",
          "name": "default_target",
          "spec": {"type": "data", "name": "varuint32"}
        }
      ]
    },
    "memory_immediate": {
      "type": "group",
      "fields": [
        {
          "type": "field",
          "name": "flags",
          "spec": {"type": "data", "name": "varuint32"}
        },
        {
          "type": "field",
          "name": "offset",
          "spec": {"type": "data", "name": "varuint32"}
        }
      ]
    }
  },
  "ops": [
    {"index": 0, "name": "unreachable", "args": []},
    {
      "index": 1,
      "name": "block",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "inline_signature_type"}
        }
      ]
    },
    {
      "index": 2,
      "name": "loop",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "inline_signature_type"}
        }
      ]
    },
    {
      "index": 3,
      "name": "if",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "inline_signature_type"}
        }
      ]
    },
    {"index": 4, "name": "else", "args": []},
    {"index": 5, "name": "select", "args": []},
    {
      "index": 6,
      "name": "br",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "relative_depth"
        }
      ]
    },
    {
      "index": 7,
      "name": "br_if",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "relative_depth"
        }
      ]
    },
    {
      "index": 8,
      "name": "br_table",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "br_table"},
          "label": "br_table"
        }
      ]
    },
    {"index": 9, "name": "return", "args": []},
    {"index": 10, "name": "nop", "args": []},
    {"index": 11, "name": "drop", "args": []},
    {"index": 15, "name": "end", "args": []},
    {
      "index": 16,
      "name": "i32.const",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varint32"},
          "label": "value"
        }
      ]
    },
    {
      "index": 17,
      "name": "i64.const",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varint64"},
          "label": "value"
        }
      ]
    },
    {
      "index": 18,
      "name": "f64.const",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varint32"},
          "label": "value"
        }
      ]
    },
    {
      "index": 19,
      "name": "f32.const",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varint64"},
          "label": "value"
        }
      ]
    },
    {
      "index": 20,
      "name": "get_local",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "local_index"
        }
      ]
    },
    {
      "index": 21,
      "name": "set_local",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "local_index"
        }
      ]
    },
    {
      "index": 25,
      "name": "tee_local",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "local_index"
        }
      ]
    },
    {
      "index": 187,
      "name": "get_global",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "global_index"
        }
      ]
    },
    {
      "index": 188,
      "name": "set_global",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "global_index"
        }
      ]
    },
    {
      "index": 22,
      "name": "call",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "function_index"
        }
      ]
    },
    {
      "index": 23,
      "name": "call_indirect",
      "args": [
        {
          "type": "imm",
          "spec": {"type": "data", "name": "varuint32"},
          "label": "type_index"
        }
      ]
    },
    {
      "index": 32,
      "name": "i32.load8_s",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 33,
      "name": "i32.load8_u",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 34,
      "name": "i32.load16_s",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 35,
      "name": "i32.load16_u",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 36,
      "name": "i64.load8_s",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 37,
      "name": "i64.load8_u",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 38,
      "name": "i64.load16_s",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 39,
      "name": "i64.load16_u",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 40,
      "name": "i64.load32_s",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 41,
      "name": "i64.load32_u",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 42,
      "name": "i32.load",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 43,
      "name": "i64.load",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 44,
      "name": "f32.load",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 45,
      "name": "f64.load",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 46,
      "name": "i32.store8",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 47,
      "name": "i32.store16",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 48,
      "name": "i64.store8",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 49,
      "name": "i64.store16",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 50,
      "name": "i64.store32",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 51,
      "name": "i32.store",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 52,
      "name": "i64.store",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 53,
      "name": "f32.store",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {
      "index": 54,
      "name": "f64.store",
      "args": [
        {"type": "imm", "spec": {"type": "data", "name": "memory_immediate"}}
      ]
    },
    {"index": 59, "name": "current_memory", "args": []},
    {"index": 57, "name": "grow_memory", "args": []},
    {"index": 64, "name": "i32.add", "args": []},
    {"index": 65, "name": "i32.sub", "args": []},
    {"index": 66, "name": "i32.mul", "args": []},
    {"index": 67, "name": "i32.div_s", "args": []},
    {"index": 68, "name": "i32.div_u", "args": []},
    {"index": 69, "name": "i32.rem_s", "args": []},
    {"index": 70, "name": "i32.rem_u", "args": []},
    {"index": 71, "name": "i32.and", "args": []},
    {"index": 72, "name": "i32.or", "args": []},
    {"index": 73, "name": "i32.xor", "args": []},
    {"index": 74, "name": "i32.shl", "args": []},
    {"index": 75, "name": "i32.shr_u", "args": []},
    {"index": 76, "name": "i32.shr_s", "args": []},
    {"index": 182, "name": "i32.rotr", "args": []},
    {"index": 183, "name": "i32.rotl", "args": []},
    {"index": 77, "name": "i32.eq", "args": []},
    {"index": 78, "name": "i32.ne", "args": []},
    {"index": 79, "name": "i32.lt_s", "args": []},
    {"index": 80, "name": "i32.le_s", "args": []},
    {"index": 81, "name": "i32.lt_u", "args": []},
    {"index": 82, "name": "i32.le_u", "args": []},
    {"index": 83, "name": "i32.gt_s", "args": []},
    {"index": 84, "name": "i32.ge_s", "args": []},
    {"index": 85, "name": "i32.gt_u", "args": []},
    {"index": 86, "name": "i32.ge_u", "args": []},
    {"index": 87, "name": "i32.clz", "args": []},
    {"index": 88, "name": "i32.ctz", "args": []},
    {"index": 89, "name": "i32.popcnt", "args": []},
    {"index": 90, "name": "i32.eqz", "args": []},
    {"index": 91, "name": "i64.add", "args": []},
    {"index": 92, "name": "i64.sub", "args": []},
    {"index": 93, "name": "i64.mul", "args": []},
    {"index": 94, "name": "i64.div_s", "args": []},
    {"index": 95, "name": "i64.div_u", "args": []},
    {"index": 96, "name": "i64.rem_s", "args": []},
    {"index": 97, "name": "i64.rem_u", "args": []},
    {"index": 98, "name": "i64.and", "args": []},
    {"index": 99, "name": "i64.or", "args": []},
    {"index": 100, "name": "i64.xor", "args": []},
    {"index": 101, "name": "i64.shl", "args": []},
    {"index": 102, "name": "i64.shr_u", "args": []},
    {"index": 103, "name": "i64.shr_s", "args": []},
    {"index": 184, "name": "i64.rotr", "args": []},
    {"index": 185, "name": "i64.rotl", "args": []},
    {"index": 104, "name": "i64.eq", "args": []},
    {"index": 105, "name": "i64.ne", "args": []},
    {"index": 106, "name": "i64.lt_s", "args": []},
    {"index": 107, "name": "i64.le_s", "args": []},
    {"index": 108, "name": "i64.lt_u", "args": []},
    {"index": 109, "name": "i64.le_u", "args": []},
    {"index": 110, "name": "i64.gt_s", "args": []},
    {"index": 111, "name": "i64.ge_s", "args": []},
    {"index": 112, "name": "i64.gt_u", "args": []},
    {"index": 113, "name": "i64.ge_u", "args": []},
    {"index": 114, "name": "i64.clz", "args": []},
    {"index": 115, "name": "i64.ctz", "args": []},
    {"index": 116, "name": "i64.popcnt", "args": []},
    {"index": 186, "name": "i64.eqz", "args": []},
    {"index": 117, "name": "f32.add", "args": []},
    {"index": 118, "name": "f32.sub", "args": []},
    {"index": 119, "name": "f32.mul", "args": []},
    {"index": 120, "name": "f32.div", "args": []},
    {"index": 121, "name": "f32.min", "args": []},
    {"index": 122, "name": "f32.max", "args": []},
    {"index": 123, "name": "f32.abs", "args": []},
    {"index": 124, "name": "f32.neg", "args": []},
    {"index": 125, "name": "f32.copysign", "args": []},
    {"index": 126, "name": "f32.ceil", "args": []},
    {"index": 127, "name": "f32.floor", "args": []},
    {"index": 128, "name": "f32.trunc", "args": []},
    {"index": 129, "name": "f32.nearest", "args": []},
    {"index": 130, "name": "f32.sqrt", "args": []},
    {"index": 131, "name": "f32.eq", "args": []},
    {"index": 132, "name": "f32.ne", "args": []},
    {"index": 133, "name": "f32.lt", "args": []},
    {"index": 134, "name": "f32.le", "args": []},
    {"index": 135, "name": "f32.gt", "args": []},
    {"index": 136, "name": "f32.ge", "args": []},
    {"index": 137, "name": "f64.add", "args": []},
    {"index": 138, "name": "f64.sub", "args": []},
    {"index": 139, "name": "f64.mul", "args": []},
    {"index": 140, "name": "f64.div", "args": []},
    {"index": 141, "name": "f64.min", "args": []},
    {"index": 142, "name": "f64.max", "args": []},
    {"index": 143, "name": "f64.abs", "args": []},
    {"index": 144, "name": "f64.neg", "args": []},
    {"index": 145, "name": "f64.copysign", "args": []},
    {"index": 146, "name": "f64.ceil", "args": []},
    {"index": 147, "name": "f64.floor", "args": []},
    {"index": 148, "name": "f64.trunc", "args": []},
    {"index": 149, "name": "f64.nearest", "args": []},
    {"index": 150, "name": "f64.sqrt", "args": []},
    {"index": 151, "name": "f64.eq", "args": []},
    {"index": 152, "name": "f64.ne", "args": []},
    {"index": 153, "name": "f64.lt", "args": []},
    {"index": 154, "name": "f64.le", "args": []},
    {"index": 155, "name": "f64.gt", "args": []},
    {"index": 156, "name": "f64.ge", "args": []},
    {"index": 157, "name": "i32.trunc_s/f32", "args": []},
    {"index": 158, "name": "i32.trunc_s/f64", "args": []},
    {"index": 159, "name": "i32.trunc_u/f32", "args": []},
    {"index": 160, "name": "i32.trunc_u/f64", "args": []},
    {"index": 161, "name": "i32.wrap/i64", "args": []},
    {"index": 162, "name": "i64.trunc_s/f32", "args": []},
    {"index": 163, "name": "i64.trunc_s/f64", "args": []},
    {"index": 164, "name": "i64.trunc_u/f32", "args": []},
    {"index": 165, "name": "i64.trunc_u/f64", "args": []},
    {"index": 166, "name": "i64.extend_s/i32", "args": []},
    {"index": 167, "name": "i64.extend_u/i32", "args": []},
    {"index": 168, "name": "f32.convert_s/i32", "args": []},
    {"index": 169, "name": "f32.convert_u/i32", "args": []},
    {"index": 170, "name": "f32.convert_s/i64", "args": []},
    {"index": 171, "name": "f32.convert_u/i64", "args": []},
    {"index": 172, "name": "f32.demote/f64", "args": []},
    {"index": 173, "name": "f32.reinterpret/i32", "args": []},
    {"index": 174, "name": "f64.convert_s/i32", "args": []},
    {"index": 175, "name": "f64.convert_u/i32", "args": []},
    {"index": 176, "name": "f64.convert_s/i64", "args": []},
    {"index": 177, "name": "f64.convert_u/i64", "args": []},
    {"index": 178, "name": "f64.promote/f32", "args": []},
    {"index": 179, "name": "f64.reinterpret/i64", "args": []},
    {"index": 180, "name": "i32.reinterpret/f32", "args": []},
    {"index": 181, "name": "i64.reinterpret/f64", "args": []}
  ]
} 

webassembly-12.schema

# note that this is a pre-MVP version.
# there is a distilled and improved version of this in the:
# https://github.com/cheery/lever/blob/master/lib/webassembly-1.json

section 1 "type" group* {
    constant 0x40 varuint7
    argtypes value_type*
    restype  value_type?
}

section 2 "import" group* {
    module string
    field  string
    type   union external_kind {
        "function" {
            sig_index varuint32
        }
        "table" {
            constant 0x20 varuint7
            limits resizable_limits
        }
        "memory" {
            limits resizable_limits
        }
        "global" {
            type value_type
            constant 0 varuint1 # is_mutable
        }
    }
}

section 3 "function" varuint32*
section 4 "table" group* {
    constant 0x20 varuint7
    limits resizable_limits
}
section 5 "memory" resizable_limits*
section 6 "global" group* {
    type     value_type
    constant 0 varuint1 # is_mutable
    init_expr code
}
section 7 "export" group* {
    field string
    kind  external_kind
    index varuint32
}
section 8 "start" varuint32*
section 9 "element" group* {
    constant 0 varuint32
    init_expr code
    elems     varuint32*
}
section 10 "code" blob*
section 11 "data" group* {
    constant 0 varuint32
    init_expr code
    data      blob
}
section 12 "name" group* {
    name string
    locals string*
}

alias function_body group {
    locals group* {
        count varuint32
        type  value_type
    }
    body code
}

table value_type uint8
    1 "i32"
    2 "i64"
    3 "f32"
    4 "f64"

table external_kind uint8
    1 "function"
    2 "table"
    3 "memory"
    4 "global"

op 0x00 "unreachable"
op 0x01 "block"    inline_signature_type
op 0x02 "loop"     inline_signature_type
op 0x03 "if"       inline_signature_type
op 0x04 "else"
op 0x05 "select"
op 0x06 "br"       relative_depth: varuint32
op 0x07 "br_if"    relative_depth: varuint32
op 0x08 "br_table" br_table: br_table
op 0x09 "return"
op 0x0a "nop"
op 0x0b "drop"
op 0x0f "end"                                 # end a block, loop or if

alias br_table group {
    targets         varuint32*
    default_target  varuint32
}

op 0x10 "i32.const"      value: varint32
op 0x11 "i64.const"      value: varint64
op 0x12 "f64.const"      value: varint32
op 0x13 "f32.const"      value: varint64
op 0x14 "get_local"      local_index: varuint32
op 0x15 "set_local"      local_index: varuint32
op 0x19 "tee_local"      local_index: varuint32
op 0xbb "get_global"     global_index: varuint32
op 0xbc "set_global"     global_index: varuint32
op 0x16 "call"           function_index: varuint32
op 0x17 "call_indirect"  type_index: varuint32

op 0x20 "i32.load8_s"    memory_immediate
op 0x21 "i32.load8_u"    memory_immediate
op 0x22 "i32.load16_s"   memory_immediate
op 0x23 "i32.load16_u"   memory_immediate
op 0x24 "i64.load8_s"    memory_immediate
op 0x25 "i64.load8_u"    memory_immediate
op 0x26 "i64.load16_s"   memory_immediate
op 0x27 "i64.load16_u"   memory_immediate
op 0x28 "i64.load32_s"   memory_immediate
op 0x29 "i64.load32_u"   memory_immediate
op 0x2a "i32.load"       memory_immediate
op 0x2b "i64.load"       memory_immediate
op 0x2c "f32.load"       memory_immediate
op 0x2d "f64.load"       memory_immediate
op 0x2e "i32.store8"     memory_immediate
op 0x2f "i32.store16"    memory_immediate
op 0x30 "i64.store8"     memory_immediate
op 0x31 "i64.store16"    memory_immediate
op 0x32 "i64.store32"    memory_immediate
op 0x33 "i32.store"      memory_immediate
op 0x34 "i64.store"      memory_immediate
op 0x35 "f32.store"      memory_immediate
op 0x36 "f64.store"      memory_immediate
op 0x3b "current_memory" # query the size of memory
op 0x39 "grow_memory"    # grow the size of memory

alias memory_immediate group {
    flags           varuint32
    offset          varuint32
}

op 0x40 "i32.add"
op 0x41 "i32.sub"
op 0x42 "i32.mul"
op 0x43 "i32.div_s"
op 0x44 "i32.div_u"
op 0x45 "i32.rem_s"
op 0x46 "i32.rem_u"
op 0x47 "i32.and"
op 0x48 "i32.or"
op 0x49 "i32.xor"
op 0x4a "i32.shl"
op 0x4b "i32.shr_u"
op 0x4c "i32.shr_s"
op 0xb6 "i32.rotr"
op 0xb7 "i32.rotl"
op 0x4d "i32.eq"
op 0x4e "i32.ne"
op 0x4f "i32.lt_s"
op 0x50 "i32.le_s"
op 0x51 "i32.lt_u"
op 0x52 "i32.le_u"
op 0x53 "i32.gt_s"
op 0x54 "i32.ge_s"
op 0x55 "i32.gt_u"
op 0x56 "i32.ge_u"
op 0x57 "i32.clz"
op 0x58 "i32.ctz"
op 0x59 "i32.popcnt"
op 0x5a "i32.eqz"
op 0x5b "i64.add"
op 0x5c "i64.sub"
op 0x5d "i64.mul"
op 0x5e "i64.div_s"
op 0x5f "i64.div_u"
op 0x60 "i64.rem_s"
op 0x61 "i64.rem_u"
op 0x62 "i64.and"
op 0x63 "i64.or"
op 0x64 "i64.xor"
op 0x65 "i64.shl"
op 0x66 "i64.shr_u"
op 0x67 "i64.shr_s"
op 0xb8 "i64.rotr"
op 0xb9 "i64.rotl"
op 0x68 "i64.eq"
op 0x69 "i64.ne"
op 0x6a "i64.lt_s"
op 0x6b "i64.le_s"
op 0x6c "i64.lt_u"
op 0x6d "i64.le_u"
op 0x6e "i64.gt_s"
op 0x6f "i64.ge_s"
op 0x70 "i64.gt_u"
op 0x71 "i64.ge_u"
op 0x72 "i64.clz"
op 0x73 "i64.ctz"
op 0x74 "i64.popcnt"
op 0xba "i64.eqz"
op 0x75 "f32.add"
op 0x76 "f32.sub"
op 0x77 "f32.mul"
op 0x78 "f32.div"
op 0x79 "f32.min"
op 0x7a "f32.max"
op 0x7b "f32.abs"
op 0x7c "f32.neg"
op 0x7d "f32.copysign"
op 0x7e "f32.ceil"
op 0x7f "f32.floor"
op 0x80 "f32.trunc"
op 0x81 "f32.nearest"
op 0x82 "f32.sqrt"
op 0x83 "f32.eq"
op 0x84 "f32.ne"
op 0x85 "f32.lt"
op 0x86 "f32.le"
op 0x87 "f32.gt"
op 0x88 "f32.ge"
op 0x89 "f64.add"
op 0x8a "f64.sub"
op 0x8b "f64.mul"
op 0x8c "f64.div"
op 0x8d "f64.min"
op 0x8e "f64.max"
op 0x8f "f64.abs"
op 0x90 "f64.neg"
op 0x91 "f64.copysign"
op 0x92 "f64.ceil"
op 0x93 "f64.floor"
op 0x94 "f64.trunc"
op 0x95 "f64.nearest"
op 0x96 "f64.sqrt"
op 0x97 "f64.eq"
op 0x98 "f64.ne"
op 0x99 "f64.lt"
op 0x9a "f64.le"
op 0x9b "f64.gt"
op 0x9c "f64.ge"
op 0x9d "i32.trunc_s/f32"
op 0x9e "i32.trunc_s/f64"
op 0x9f "i32.trunc_u/f32"
op 0xa0 "i32.trunc_u/f64"
op 0xa1 "i32.wrap/i64"
op 0xa2 "i64.trunc_s/f32"
op 0xa3 "i64.trunc_s/f64"
op 0xa4 "i64.trunc_u/f32"
op 0xa5 "i64.trunc_u/f64"
op 0xa6 "i64.extend_s/i32"
op 0xa7 "i64.extend_u/i32"
op 0xa8 "f32.convert_s/i32"
op 0xa9 "f32.convert_u/i32"
op 0xaa "f32.convert_s/i64"
op 0xab "f32.convert_u/i64"
op 0xac "f32.demote/f64"
op 0xad "f32.reinterpret/i32"
op 0xae "f64.convert_s/i32"
op 0xaf "f64.convert_u/i32"
op 0xb0 "f64.convert_s/i64"
op 0xb1 "f64.convert_u/i64"
op 0xb2 "f64.promote/f32"
op 0xb3 "f64.reinterpret/i64"
op 0xb4 "i32.reinterpret/f32"
op 0xb5 "i64.reinterpret/f64"