wasm_code() :: {:code, [wasm_func]}

wasm_custom() :: {:custom, wasm_name, binary}

wasm_data() :: {:data, [wasm_index], wasm_instr, binary}

wasm_elem() :: {:elem, wasm_index, wasm_instr, [wasm_index]}

wasm_elem_type() :: :elem_type

wasm_export() :: {:export, wasm_name, wasm_index}

wasm_float() :: {:f32, float} | {:f64, float}

wasm_func() :: {:func, [wasm_locals], wasm_instr}

wasm_func_type() :: {:func_type, [wasm_value_type], [wasm_value_type]}

wasm_global() :: {:global, wasm_global_type, wasm_instr}

wasm_global_type() :: {:global_type, :const | :var, wasm_value_type}

wasm_import() :: {:import, wasm_import_desc}

wasm_import_desc ::
  wasm_name |
  wasm_name |
  wasm_index |
  wasm_table_type |
  wasm_mem_type |
  wasm_global_type

wasm_index ::
  {:type_index, non_neg_integer} |
  {:func_index, non_neg_integer} |
  {:table_index, non_neg_integer} |
  {:mem_index, non_neg_integer} |
  {:global_index, non_neg_integer} |
  {:local_index, non_neg_integer} |
  {:label_index, non_neg_integer}

wasm_instr ::
  atom |
  {atom, wasm_result_type, [wasm_instr]} |
  {atom, wasm_index} |
  {atom, [wasm_index], wasm_index} |
  {atom, wasm_integer, wasm_integer} |
  {atom, integer} |
  {atom, [wasm_instr]}

wasm_integer ::
  {:u32, non_neg_integer} |
  {:u64, non_neg_integer} |
  {:s32, integer} |
  {:s64, integer}

wasm_limits ::
  {:limits, non_neg_integer} |
  {:limits, non_neg_integer, non_neg_integer}

wasm_locals() :: {:locals, wasm_integer, wasm_value_type}

wasm_mem() :: {:mem, wasm_mem_type}

wasm_mem_type() :: {:mem_type, [wasm_limits]}

wasm_module() :: {:module, [wasm_section]}

wasm_name() :: {:name, String.t}

wasm_result_type() :: {:result, [wasm_value_type]}

wasm_section ::
  {:custom_sec, wasm_custom} |
  {:type_sec, [wasm_func_type]} |
  {:import_sec, [wasm_import]} |
  {:func_sec, [wasm_index]} |
  {:table_sec, [wasm_table]} |
  {:memory_sec, [wasm_mem]} |
  {:global_sec, [wasm_global]} |
  {:export_sec, [wasm_export]} |
  {:start_sec, wasm_start} |
  {:elem_sec, [wasm_elem]} |
  {:code_sec, [wasm_code]} |
  {:data_sec, [wasm_data]}

wasm_start() :: {:start, wasm_index}

wasm_table() :: {:table, wasm_table_type}

wasm_table_type() :: {:table_type, wasm_elem_type, wasm_limits}

wasm_value_type() :: :i32 | :i64 | :f32 | :f64