豫言源码浏览器

yuyan · 543 行 · 29472 字节 · UTF-8
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。

「：
文言：书回收网页汇编之指令为文，但供调试与过渡之用，不入编译之正途。
汉语：把 WasmGC 指令打印成 WAT 文本，仅用于调试、测试夹具与后端改造的过渡；编译流水线不经过它。
：」

「回收单码名」乃化「整数」而「字符串」也。
「回收单码名」者会「码」而
  鉴「码」而
    有「零」则『unreachable』
    或有「一」则『nop』
    或有「五」则『else』
    或有「一一」则『end』
    或有「一五」则『return』
    或有「二六」则『drop』
    或有「二七」则『select』
    或有「六九」则『i32.eqz』
    或有「七零」则『i32.eq』
    或有「七一」则『i32.ne』
    或有「七二」则『i32.lt_s』
    或有「七三」则『i32.lt_u』
    或有「七四」则『i32.gt_s』
    或有「七五」则『i32.gt_u』
    或有「七六」则『i32.le_s』
    或有「七七」则『i32.le_u』
    或有「七八」则『i32.ge_s』
    或有「七九」则『i32.ge_u』
    或有「八零」则『i64.eqz』
    或有「八一」则『i64.eq』
    或有「八二」则『i64.ne』
    或有「八三」则『i64.lt_s』
    或有「八四」则『i64.lt_u』
    或有「八五」则『i64.gt_s』
    或有「八六」则『i64.gt_u』
    或有「八七」则『i64.le_s』
    或有「八八」则『i64.le_u』
    或有「八九」则『i64.ge_s』
    或有「九零」则『i64.ge_u』
    或有「一零六」则『i32.add』
    或有「一零七」则『i32.sub』
    或有「一零八」则『i32.mul』
    或有「一零九」则『i32.div_s』
    或有「一一零」则『i32.div_u』
    或有「一一一」则『i32.rem_s』
    或有「一一二」则『i32.rem_u』
    或有「一一三」则『i32.and』
    或有「一一四」则『i32.or』
    或有「一一五」则『i32.xor』
    或有「一一六」则『i32.shl』
    或有「一一七」则『i32.shr_s』
    或有「一一八」则『i32.shr_u』
    或有「一二四」则『i64.add』
    或有「一二五」则『i64.sub』
    或有「一二六」则『i64.mul』
    或有「一二七」则『i64.div_s』
    或有「一二八」则『i64.div_u』
    或有「一二九」则『i64.rem_s』
    或有「一三零」则『i64.rem_u』
    或有「一三一」则『i64.and』
    或有「一三二」则『i64.or』
    或有「一三三」则『i64.xor』
    或有「一三四」则『i64.shl』
    或有「一三五」则『i64.shr_s』
    或有「一三六」则『i64.shr_u』
    或有「一六七」则『i32.wrap_i64』
    或有「一七二」则『i64.extend_i32_s』
    或有「一七三」则『i64.extend_i32_u』
    或有「二零九」则『ref.is_null』
    或有「二一一」则『ref.eq』
    或有「其他」则
      「发生事故」授以「字符串」于（『回收网页汇编文本：未知单字节操作码 』附（「整数表示」于「其他」））
也。

「回收回收码名」乃化「整数」而「字符串」也。
「回收回收码名」者会「码」而
  鉴「码」而
    有「一五」则『array.len』
    或有「二八」则『ref.i31』
    或有「二九」则『i31.get_s』
    或有「三零」则『i31.get_u』
    或有「其他」则
      「发生事故」授以「字符串」于（『回收网页汇编文本：未知 0xFB 操作码 』附（「整数表示」于「其他」））
也。

「回收向量码名」乃化「整数」而「字符串」也。
「回收向量码名」者会「码」而
  鉴「码」而
    有「零」则『v128.load』
    或有「一一」则『v128.store』
    或有「一八」则『i64x2.splat』
    或有「二九」则
      『i64x2.extract_lane』
    或有「三零」则
      『i64x2.replace_lane』
    或有「二零六」则『i64x2.add』
    或有「二零九」则『i64x2.sub』
    或有「其他」则
      「发生事故」授以「字符串」于（『回收网页汇编文本：未知 0xFD 操作码 』附（「整数表示」于「其他」））
也。

「：文言：前缀 0xFC 杂令之名。汉语：0xFC 前缀杂项指令的名字。：」
「回收杂码名」乃化「整数」而「字符串」也。
「回收杂码名」者会「码」而
  鉴「码」而
    有「八」则『memory.init』
    或有「九」则『data.drop』
    或有「一零」则『memory.copy』
    或有「一一」则『memory.fill』
    或有「其他」则
      「发生事故」授以「字符串」于（『回收网页汇编文本：未知 0xFC 操作码 』附（「整数表示」于「其他」））
也。

「回收内存码名」乃化「整数」而「字符串」也。
「回收内存码名」者会「码」而
  鉴「码」而
    有「四零」则『i32.load』
    或有「四一」则『i64.load』
    或有「四五」则『i32.load8_u』
    或有「五四」则『i32.store』
    或有「五五」则『i64.store』
    或有「五八」则『i32.store8』
    或有「其他」则
      「发生事故」授以「字符串」于（『回收网页汇编文本：未知内存操作码 』附（「整数表示」于「其他」））
也。

「：文言：内存之令各有自然之齐（以二为底之指数），齐于此者不书。汉语：各内存指令的自然对齐（以 2 为底的指数）；对齐等于自然对齐时文本里省略 align。：」
「回收内存自然对齐」乃化「整数」而「整数」也。
「回收内存自然对齐」者会「码」而
  鉴「码」而
    有「四零」则「二」
    或有「四一」则「三」
    或有「四五」则「零」
    或有「五四」则「二」
    或有「五五」则「三」
    或有「五八」则「零」
    或有「其他」则
      「发生事故」授以「整数」于（『回收网页汇编文本：未知内存操作码 』附（「整数表示」于「其他」））
也。

「回收堆型文」乃化「回收堆型」而「字符串」也。
「回收堆型文」者会「堆」而
  鉴「堆」而
    有「回收堆等」则『eq』
    或有「回收堆任」则『any』
    或有「回收堆小整」则『i31』
    或有「回收堆结构」则『struct』
    或有「回收堆数组」则『array』
    或有「回收堆函数」则『func』
    或有「回收堆外部」则『extern』
    或有「回收堆空」则『none』
    或有（「回收堆名」于「名」）则「名」
也。

「回收值型文」乃化「回收值型」而「字符串」也。
「回收值型文」者会「型」而
  鉴「型」而
    有「回收整三二」则『i32』
    或有「回收整六四」则『i64』
    或有「回收浮三二」则『f32』
    或有「回收浮六四」则『f64』
    或有「回收向量型」则『v128』
    或有（「回收引用」于「可空」于「堆」）则
      （『(ref 』附（若「可空」则『null 』否则『』）附（「回收堆型文」于「堆」）附『)』）
也。

「回收块型文」乃化「回收块型」而「字符串」也。
「回收块型文」者会「块型」而
  鉴「块型」而
    有「回收块无果」则『』
    或有（「回收块单果」于「型」）则（『 (result 』附（「回收值型文」于「型」）附『)』）
    或有（「回收块多果」于「果们」）则（『 (result 』附（「间合」
      于『 』
      于（「态射」授以「回收值型」授以「字符串」于「果们」于「回收值型文」））附『)』）
也。

「回收标名文」乃化「字符串」而「字符串」也。
「回收标名文」者会「名」而
  若「串相等」于「名」于『』则『』否则（『 』附「名」）
也。

「回收标号文」乃化「回收标号」而「字符串」也。
「回收标号文」者会「标」而
  鉴「标」而
    有（「回收名标」于「名」）则「名」
    或有（「回收深标」于「深」）则（「整数表示」于「深」）
也。

「回收捕获文」乃化「回收捕获」而「字符串」也。
「回收捕获文」者会「捕」而
  鉴「捕」而
    有（「回收捕标签」于「签」于「标」）则（『(catch 』附「签」附『 』附（「回收标号文」于「标」）附『)』）
    或有（「回收捕标签引用」于「签」于「标」）则（『(catch_ref 』附「签」附『 』附（「回收标号文」于「标」）附『)』）
    或有（「回收捕全部」于「标」）则（『(catch_all 』附（「回收标号文」于「标」）附『)』）
    或有（「回收捕全部引用」于「标」）则（『(catch_all_ref 』附（「回收标号文」于「标」）附『)』）
也。

「回收内存参文」乃化「整数」而化「回收内存参」而「字符串」也。
「回收内存参文」者会「自然」而会「参」而
  虑「偏移」者「参」中「一」而
  虑「对齐」者「参」中「零」而
  （若「等于」于「偏移」于「零」则『』否则（『 offset=』附（「整数表示」于「偏移」）））附
    （
      若「等于」于「对齐」于「自然」
      则
        『』
      否则
        （『 align=』附（「整数表示」于（「从左折叠」授以「整数」授以「整数」
          于（会「次」而会「积」而「乘」于「积」于「二」）
          于「一」
          于（「整数范围」于「零」于「对齐」））））
    ）
也。

「回收浮文」乃化「字符串」而化「字符串」而「字符串」也。
「回收浮文」者会「整部」而会「小部」而
  若「串相等」于「小部」于『』则
    「整部」
  否则
    （「整部」附『.』附「小部」）
也。

「回收令文」乃化「回收指令」而「字符串」也。
「回收令文」者会「令」而
  鉴「令」而
    有（「回收单码」于「码」）则（「回收单码名」于「码」）
    或有（「回收回收码」于「码」）则（「回收回收码名」于「码」）
    或有（「回收向量码」于「码」）则（「回收向量码名」于「码」）
    或有（「回收向量车道」于「码」于「道」）则（（「回收向量码名」于「码」）附『 』附（「整数表示」于「道」））
    或有（「回收杂码」于「码」于「立即」）则（（「回收杂码名」于「码」）
    附（
      若「全部符合」授以「整数」
      于（会「数」而「等于」于「数」于「零」）于「立即」
      则
        『』
      否则
        「串组合并」于（「态射」授以「整数」授以「字符串」于「立即」于（会「数」而『 』附（「整数表示」于「数」）））
    ）
    ）
    或有（「回收向量常」于「字节」）则（『v128.const i8x16』
      附（「串组合并」
        于（「态射」授以「整数」授以「字符串」
          于（「整数范围」于「零」于（「字节串长度」于「字节」））
          于（会「位」而『 』附（「整数表示」于（「字节串取字节」于「字节」于「位」））））））
    或有（「回收块」于「名」于「块型」）则（『block』附（「回收标名文」于「名」）附（「回收块型文」于「块型」））
    或有（「回收循环」于「名」于「块型」）则（『loop』附（「回收标名文」于「名」）附（「回收块型文」于「块型」））
    或有（「回收若」于「名」于「块型」）则（『if』附（「回收标名文」于「名」）附（「回收块型文」于「块型」））
    或有（「回收试表」于「名」于「块型」于「捕获们」）则（『try_table』附（「回收标名文」于「名」）附（「回收块型文」
      于「块型」）
      附（「串组合并」于（「态射」授以「回收捕获」授以「字符串」
        于「捕获们」
        于（会「捕」而『 』附（「回收捕获文」于「捕」）））））
    或有（「回收跳」于「标」）则（『br 』附（「回收标号文」于「标」））
    或有（「回收条件跳」于「标」）则（『br_if 』附（「回收标号文」于「标」））
    或有（「回收表跳」于「标们」于「缺省」）则（『br_table』
      附（「串组合并」于（「态射」授以「回收标号」授以「字符串」
        于「标们」
        于（会「标」而『 』附（「回收标号文」于「标」））））
        附『 』附（「回收标号文」于「缺省」））
    或有（「回收调用」于「名」）则（『call 』附「名」）
    或有（「回收尾调用」于「名」）则（『return_call 』附「名」）
    或有（「回收间接调用」于「型」于「表」）则
      （『call_indirect』附（「回收标名文」于「表」）附『 (type 』附「型」附『)』）
    或有（「回收尾间接调用」于「型」于「表」）则
      （『return_call_indirect』附（「回收标名文」于「表」）附『 (type 』附「型」附『)』）
    或有（「回收引用调用」于「型」）则（『call_ref 』附「型」）
    或有（「回收尾引用调用」于「型」）则（『return_call_ref 』附「型」）
    或有（「回收抛」于「签」）则（『throw 』附「签」）
    或有（「回收局部取」于「名」）则（『local.get 』附「名」）
    或有（「回收局部存」于「名」）则（『local.set 』附「名」）
    或有（「回收局部暂存」于「名」）则（『local.tee 』附「名」）
    或有（「回收全局取」于「名」）则（『global.get 』附「名」）
    或有（「回收全局存」于「名」）则（『global.set 』附「名」）
    或有（「回收整三二常」于「数」）则（『i32.const 』附（「整数表示」于「数」））
    或有（「回收整六四常」于「数」）则（『i64.const 』附（「整数表示」于「数」））
    或有（「回收浮六四常」于「整部」于「小部」）则（『f64.const 』附（「回收浮文」于「整部」于「小部」））
    或有（「回收内存码」于「码」于「参」）则
      （（「回收内存码名」于「码」）附（「回收内存参文」于（「回收内存自然对齐」于「码」）于「参」））
    或有（「回收向量内存码」于「码」于「参」）则（（「回收向量码名」于「码」）附（「回收内存参文」于「四」于「参」））
    或有（「回收引用空」于「堆」）则（『ref.null 』附（「回收堆型文」于「堆」））
    或有（「回收引用函数」于「名」）则（『ref.func 』附「名」）
    或有（「回收引用测」于「可空」于「堆」）则（『ref.test 』附（「回收值型文」于（「回收引用」于「可空」于「堆」）））
    或有（「回收引用转」于「可空」于「堆」）则（『ref.cast 』附（「回收值型文」于（「回收引用」于「可空」于「堆」）））
    或有（「回收结构新」于「型」）则（『struct.new 』附「型」）
    或有（「回收结构新默认」于「型」）则（『struct.new_default 』附「型」）
    或有（「回收结构取」于「型」于「序」）则（『struct.get 』附「型」附『 』附（「整数表示」于「序」））
    或有（「回收结构存」于「型」于「序」）则（『struct.set 』附「型」附『 』附（「整数表示」于「序」））
    或有（「回收数组新」于「型」）则（『array.new 』附「型」）
    或有（「回收数组新默认」于「型」）则（『array.new_default 』附「型」）
    或有（「回收数组新定」于「型」于「数」）则（『array.new_fixed 』附「型」附『 』附（「整数表示」于「数」））
    或有（「回收数组新数据」于「型」于「据」）则（『array.new_data 』附「型」附『 』附「据」）
    或有（「回收数组取」于「型」）则（『array.get 』附「型」）
    或有（「回收数组取有」于「型」）则（『array.get_s 』附「型」）
    或有（「回收数组取无」于「型」）则（『array.get_u 』附「型」）
    或有（「回收数组存」于「型」）则（『array.set 』附「型」）
    或有（「回收数组填」于「型」）则（『array.fill 』附「型」）
    或有「回收内存大小」则『memory.size』
    或有「回收内存增长」则『memory.grow』
    或有（「回收数组复制」于「甲」于「乙」）则（『array.copy 』附「甲」附『 』附「乙」）
也。

「：文言：一令一行。汉语：每条指令一行。：」
「回收串转文」乃化「回收串」而「字符串」也。
「回收串转文」者会「串」而
  「间合」于『「：换行：」』于（「态射」授以「回收指令」授以「字符串」于（「回收展平」于「串」）于「回收令文」）
也。

「：文言：存型之文。汉语：字段存储类型的文本。：」
「回收存型文」乃化「回收存型」而「字符串」也。
「回收存型文」者会「存」而
  鉴「存」而
    有（「回收存值」于「型」）则
      「回收值型文」于「型」
    或有「回收存八」则『i8』
    或有「回收存十六」则『i16』
也。

「回收字段型文」乃化「回收字段」而「字符串」也。
「回收字段型文」者会「字段」而
  若「字段」中「零」则
    （『(mut 』附（「回收存型文」于（「字段」中「一」））附『)』）
  否则
    「回收存型文」于（「字段」中「一」）
也。

「：文言：诸型各书一括，如 (param i64)。汉语：把一组值类型逐个写成 (param T) 或 (result T)。：」
「回收诸型文」乃化「字符串」而化（「列」于「回收值型」）而「字符串」也。
「回收诸型文」者会「词」而会「型们」而
  「串组合并」
    于（「态射」授以「回收值型」授以「字符串」
      于「型们」
      于（会「型」而『 (』附「词」附『 』附（「回收值型文」于「型」）附『)』））
也。

「回收复合型文」乃化「回收复合型」而「字符串」也。
「回收复合型文」者会「复合」而
  鉴「复合」而
    有（「回收函数型」于「参」于「果」）则
      （『(func』附（「回收诸型文」于『param』于「参」）附（「回收诸型文」于『result』于「果」）附『)』）
    或有（「回收结构型」于「字段们」）则（『(struct』
      附（「串组合并」
        于（「态射」授以「回收字段」授以「字符串」
          于「字段们」
          于（会「字段」而『 (field 』附（「回收字段型文」于「字段」）附『)』）））
          附『)』）
    或有（「回收数组型」于「字段」）则（『(array 』附（「回收字段型文」于「字段」）附『)』）
也。

「：文言：依名查模块之显式型。汉语：按名字查找模块中的显式类型。：」
「回收查型」乃
  化（「列」于「回收模块项」）而
  化「字符串」而
  （「或可有」于「回收复合型」）
也。
「回收查型」者会「项们」而会「名」而
  鉴「项们」而
    有「罄」则「可无」
    或有（「缀」于「项」于「余」）则（
      鉴「项」而
        有（「回收类型项」于「型名」于「复合」）则
          若「串相等」于「型名」于「名」则
            「可有」于「复合」
          否则
            「回收查型」于「余」于「名」
        或有「其他」则
          「回收查型」于「余」于「名」
    ）
也。

「：文言：参之文，有名者书其名。汉语：参数文本：给出名字的参数写出名字。：」
「回收参文」乃
  化（「列」于「字符串」）而
  化（「列」于「回收值型」）而
  「字符串」
也。
「回收参文」者会「名们」而会「型们」而
  鉴「型们」而
    有「罄」则『』
    或有（「缀」于「型」于「余型」）则（
      鉴「名们」而
        有（「缀」于「名」于「余名」）则
          （『 (param 』附「名」附『 』附（「回收值型文」于「型」）附『)』附（「回收参文」于「余名」于「余型」））
        或有「罄」则
          （『 (param 』附（「回收值型文」于「型」）附『)』附（「回收参文」于（「罄」授以「字符串」）于「余型」））
    ）
也。

「：文言：型用之文；以名引者，查其型以书诸参之名。汉语：类型用法的文本；按名字引用时查出类型，以便写出带名字的参数与结果。：」
「回收型用文」乃
  化（「列」于「回收模块项」）而
  化「回收型用」而
  化（「列」于「字符串」）而
  「字符串」
也。
「回收型用文」者会「项们」而会「用」而会「名们」而
  鉴「用」而
    有（「回收型名用」于「型名」）则（『 (type 』附「型名」附『)』
      附（
        鉴（「回收查型」于「项们」于「型名」）而
          有（「可有」于「复合」）则（
            鉴「复合」而
              有（「回收函数型」于「参」于「果」）则（「回收参文」于「名们」于「参」）附（「回收诸型文」
                于『result』于「果」）
              或有「其他」则『』
          ）
          或有「可无」则『』
      ））
    或有（「回收型内联」于「参」于「果」）则
      （「回收参文」于「名们」于「参」）附（「回收诸型文」于『result』于「果」）
也。

「回收局部文」乃化「回收局部」而「字符串」也。
「回收局部文」者会「局部」而
  『 (local 』附（「局部」中「零」）附『 』附（「回收值型文」于（「局部」中「一」））附『)』
也。

「回收十六进制字表」乃「列」于「字符串」也。
「回收十六进制字表」者（「列」【
  『0』，
  『1』，
  『2』，
  『3』，
  『4』，
  『5』，
  『6』，
  『7』，
  『8』，
  『9』，
  『a』，
  『b』，
  『c』，
  『d』，
  『e』，
  『f』
】）也。

「：文言：字节书为转义之串。汉语：把字节串写成逐字节转义的 WAT 字符串。：」
「回收字节文」乃化「字节串」而「字符串」也。
「回收字节文」者会「字节」而
  『"』
    附（「串组合并」
      于（「态射」授以「整数」授以「字符串」
        于（「整数范围」于「零」于（「字节串长度」于「字节」））
        于（会「位」而
        虑「数」者「字节串取字节」于「字节」于「位」而
        虑「高」者「除以」于「数」于「一六」而
        『\』
          附（「第N个」授以「字符串」于「高」于「回收十六进制字表」）
          附（「第N个」授以「字符串」于（「减」于「数」于（「乘」于「高」于「一六」））于「回收十六进制字表」））））
          附『"』
也。

「：文言：常式诸令同行。汉语：常量表达式（全局初值、偏移）的指令写在同一行。：」
「回收常式文」乃化「回收串」而「字符串」也。
「回收常式文」者会「串」而
  「间合」于『 』于（「态射」授以「回收指令」授以「字符串」于（「回收展平」于「串」）于「回收令文」）
也。

「回收导出种文」乃化「回收导出种」而「字符串」也。
「回收导出种文」者会「种」而
  鉴「种」而
    有「回收出函数」则『func』
    或有「回收出表」则『table』
    或有「回收出内存」则『memory』
    或有「回收出全局」则『global』
    或有「回收出标签」则『tag』
也。

「：文言：一项之文；项们以查具名之型。汉语：一个模块项的文本；项们用于查找按名字引用的类型。：」
「回收项文」乃化（「列」于「回收模块项」）而化「回收模块项」而「字符串」也。
「回收项文」者会「项们」而会「项」而
  鉴「项」而
    有（「回收类型项」于「名」于「复合」）则（『(type 』附「名」附『 』附（「回收复合型文」于「复合」）附『)』）
    或有（「回收导入函数项」于「模块」于「字段」于「名」于「用」）则（『(import "』
      附「模块」
      附『" "』
      附「字段」
      附『" (func 』
      附「名」
      附（「回收型用文」于「项们」于「用」于（「罄」授以「字符串」））
      附『))』）
    或有（「回收函数项」于「名」于「用」于「参数名们」于「局部们」于「体」）则（『(func 』
      附「名」
      附（「回收型用文」于「项们」于「用」于「参数名们」）
      附（「串组合并」于（「态射」授以「回收局部」授以「字符串」于「局部们」于「回收局部文」））
      附『「：换行：」』
      附（「回收串转文」于「体」）
      附『)』）
    或有（「回收表项」于「名」于「最小」）则（『(table 』附「名」附『 』附（「整数表示」于「最小」）附『 funcref)』）
    或有（「回收内存项」于「名」于「最小」于「最大」）则（『(memory 』
      附「名」
      附『 』
      附（「整数表示」于「最小」）
      附（鉴「最大」而
      有（「可有」于「上限」）则『 』附（「整数表示」于「上限」）
      或有「可无」则『』）
      附『)』）
    或有（「回收全局项」于「名」于「型」于「可变」于「初值」）则（『(global 』
      附「名」
      附『 』
      附（若「可变」则『(mut 』附（「回收值型文」于「型」）附『)』否则「回收值型文」于「型」）
      附『 』
      附（「回收常式文」于「初值」）
      附『)』）
    或有（「回收导出项」于「外名」于「种」于「内名」）则
      （『(export "』附「外名」附『" (』附（「回收导出种文」于「种」）附『 』附「内名」附『))』）
    或有（「回收起始项」于「名」）则（『(start 』附「名」附『)』）
    或有（「回收元素项」于「表」于「偏移」于「名们」）则（『(elem 』
      附（若「串相等」于「表」于『』则『』否则『(table 』附「表」附『) 』）
      附『(offset 』
      附（「回收常式文」于「偏移」）
      附『)』
      附（「串组合并」于（「态射」授以「字符串」授以「字符串」于「名们」于（会「名」而『 』附「名」）））
      附『)』）
    或有（「回收数据项」于「名」于「字节」）则（『(data 』附「名」附『 』附（「回收字节文」于「字节」）附『)』）
    或有（「回收主动数据项」于「名」于「内存」于「偏移」于「字节」）则（『(data 』
      附「名」
      附『 (memory 』
      附「内存」
      附『) (offset 』
      附（「回收常式文」于「偏移」）
      附『) 』
      附（「回收字节文」于「字节」）
      附『)』）
    或有（「回收标签项」于「名」于「用」）则
      （『(tag 』附「名」附（「回收型用文」于「项们」于「用」于（「罄」授以「字符串」））附『)』）
也。

「：文言：书模块诸项为文，一项一行，函数之体一令一行；但供调试与测试夹具。汉语：把模块项打印成 WAT 文本，每项一行、函数体每条指令一行；按名字引用类型的函数会查出类型以写出参数名。仅用于调试与测试夹具，编译流水线不经过它。：」
「回收项串转文」乃化「回收项串」而「字符串」也。
「回收项串转文」者会「项串」而
  虑「项们」者「回收项展平」于「项串」而
  「间合」
    于『「：换行：」』
    于（「态射」授以「回收模块项」授以「字符串」于「项们」于（会「项」而「回收项文」于「项们」于「项」））
也。

「回收模块转文」乃化「回收项串」而「字符串」也。
「回收模块转文」者会「项串」而
  『(module「：换行：」』附（「回收项串转文」于「项串」）附『「：换行：」)』
也。