bend-schema 0.1.0

package/dist-core/core.mjs

@@ -0,0 +1,2974 @@
+// Generated by bend-emit from core.bend. Do not edit; rebuild.
+class $C$WNil { constructor() { this.$ = "WNil"; } }
+const $N$WNil = new $C$WNil();
+class $C$WCon$head$tail { constructor(a0, a1) { this.$ = "WCon"; this.head = a0; this.tail = a1; } }
+class $C$Tuple$fst$snd { constructor(a0, a1) { this.$ = "Tuple"; this.fst = a0; this.snd = a1; } }
+class $C$Some$value { constructor(a0) { this.$ = "Some"; this.value = a0; } }
+class $C$None { constructor() { this.$ = "None"; } }
+const $N$None = new $C$None();
+class $C$$JMP$f$x { constructor(a0, a1) { this.$ = "$JMP"; this.f = a0; this.x = a1; } }
+class $C$RMissing { constructor() { this.$ = "RMissing"; } }
+const $N$RMissing = new $C$RMissing();
+class $C$Con$head$tail { constructor(a0, a1) { this.$ = "Con"; this.head = a0; this.tail = a1; } }
+class $C$Nil { constructor() { this.$ = "Nil"; } }
+const $N$Nil = new $C$Nil();
+class $C$RKey$key$val$rest { constructor(a0, a1, a2) { this.$ = "RKey"; this.key = a0; this.val = a1; this.rest = a2; } }
+class $C$Err$path$why { constructor(a0, a1) { this.$ = "Err"; this.path = a0; this.why = a1; } }
+class $C$LengthNotIn$lo$hi { constructor(a0, a1) { this.$ = "LengthNotIn"; this.lo = a0; this.hi = a1; } }
+class $C$NotIn$lo$hi { constructor(a0, a1) { this.$ = "NotIn"; this.lo = a0; this.hi = a1; } }
+class $C$AtField$skip$name { constructor(a0, a1) { this.$ = "AtField"; this.skip = a0; this.name = a1; } }
+class $C$RepeatedKey$key { constructor(a0) { this.$ = "RepeatedKey"; this.key = a0; } }
+class $C$Missing { constructor() { this.$ = "Missing"; } }
+const $N$Missing = new $C$Missing();
+class $C$TooLarge { constructor() { this.$ = "TooLarge"; } }
+const $N$TooLarge = new $C$TooLarge();
+class $C$NotString { constructor() { this.$ = "NotString"; } }
+const $N$NotString = new $C$NotString();
+class $C$AtIndex$i { constructor(a0) { this.$ = "AtIndex"; this.i = a0; } }
+class $C$BoundAt$i$key { constructor(a0, a1) { this.$ = "BoundAt"; this.i = a0; this.key = a1; } }
+class $C$NotTrue { constructor() { this.$ = "NotTrue"; } }
+const $N$NotTrue = new $C$NotTrue();
+class $C$NotOneOf { constructor() { this.$ = "NotOneOf"; } }
+const $N$NotOneOf = new $C$NotOneOf();
+class $C$TwoVariants { constructor() { this.$ = "TwoVariants"; } }
+const $N$TwoVariants = new $C$TwoVariants();
+class $C$AtKey$key { constructor(a0) { this.$ = "AtKey"; this.key = a0; } }
+class $C$UnknownKey { constructor() { this.$ = "UnknownKey"; } }
+const $N$UnknownKey = new $C$UnknownKey();
+class $C$NotObject { constructor() { this.$ = "NotObject"; } }
+const $N$NotObject = new $C$NotObject();
+class $C$RNil { constructor() { this.$ = "RNil"; } }
+const $N$RNil = new $C$RNil();
+class $C$CountNotIn$lo$hi { constructor(a0, a1) { this.$ = "CountNotIn"; this.lo = a0; this.hi = a1; } }
+class $C$RCons$head$tail { constructor(a0, a1) { this.$ = "RCons"; this.head = a0; this.tail = a1; } }
+class $C$NotList { constructor() { this.$ = "NotList"; } }
+const $N$NotList = new $C$NotList();
+class $C$NotNat { constructor() { this.$ = "NotNat"; } }
+const $N$NotNat = new $C$NotNat();
+class $C$NotBool { constructor() { this.$ = "NotBool"; } }
+const $N$NotBool = new $C$NotBool();
+class $C$NoVariant { constructor() { this.$ = "NoVariant"; } }
+const $N$NoVariant = new $C$NoVariant();
+class $C$STEnd { constructor() { this.$ = "STEnd"; } }
+const $N$STEnd = new $C$STEnd();
+class $C$STuple$s$rest { constructor(a0, a1) { this.$ = "STuple"; this.s = a0; this.rest = a1; } }
+class $C$RNum$n { constructor(a0) { this.$ = "RNum"; this.n = a0; } }
+class $C$RStr$s { constructor(a0) { this.$ = "RStr"; this.s = a0; } }
+class $C$RNull { constructor() { this.$ = "RNull"; } }
+const $N$RNull = new $C$RNull();
+class $C$SList$elem { constructor(a0) { this.$ = "SList"; this.elem = a0; } }
+class $C$REnd { constructor() { this.$ = "REnd"; } }
+const $N$REnd = new $C$REnd();
+class $C$RBool$b { constructor(a0) { this.$ = "RBool"; this.b = a0; } }
+class $C$Both$a$b { constructor(a0, a1) { this.$ = "Both"; this.a = a0; this.b = a1; } }
+class $C$Inl$value { constructor(a0) { this.$ = "Inl"; this.value = a0; } }
+class $C$Inr$value { constructor(a0) { this.$ = "Inr"; this.value = a0; } }
+class $C$Unit { constructor() { this.$ = "Unit"; } }
+const $N$Unit = new $C$Unit();
+class $C$TooShort { constructor() { this.$ = "TooShort"; } }
+const $N$TooShort = new $C$TooShort();
+class $C$TooLong { constructor() { this.$ = "TooLong"; } }
+const $N$TooLong = new $C$TooLong();
+class $C$EQ { constructor() { this.$ = "EQ"; } }
+const $N$EQ = new $C$EQ();
+class $C$LT { constructor() { this.$ = "LT"; } }
+const $N$LT = new $C$LT();
+class $C$GT { constructor() { this.$ = "GT"; } }
+const $N$GT = new $C$GT();
+// bend-emit: fold the pending constructors of a looped def, innermost last.
+function $unwind$(s, r) {
+  for (let i = s.length; i > 0; i -= 2) {
+    const o = s[i - 2];
+    o[s[i - 1]] = r;
+    r = o;
+  }
+  return r;
+}
+function word_to_u32(w) {
+  let x = 0;
+  for (let i = 0; w.$ === "WCon"; i++) {
+    x |= Number(w.head) << i;
+    w = w.tail;
+  }
+  return x >>> 0;
+}
+
+function u32_to_word(x) {
+  let w = $N$WNil;
+  for (let i = 31; i >= 0; i--) {
+    w = new $C$WCon$head$tail(((x >>> i) & 1) === 1, w);
+  }
+  return w;
+}
+
+function cmp_new(a, b) {
+  return {$: a < b ? "LT"
+    : a === b ? "EQ" : "GT"};
+}
+
+function nat_divmod(a, b) {
+  return b === 0 ? new $C$Tuple$fst$snd(0, a)
+    : new $C$Tuple$fst$snd(Math.trunc(a / b), a % b);
+}
+
+function nat_chk(n) {
+  if (n > 281474976710655) {
+    throw "bend: a Nat past the largest immediate 2^48-1";
+  }
+  return n;
+}
+
+function nat_host(n) {
+  const int = typeof n === "bigint" || Number.isInteger(n);
+  if (int && n >= 0 && n <= 2 ** 53) {
+    return Number(n);
+  }
+  return { [Symbol.toPrimitive]() { throw "bend: a Nat past the largest immediate 2^48-1"; } };
+}
+
+function f32_show(x) {
+  if (x !== x) {
+    return "nan";
+  }
+  if (!Number.isFinite(x) || Object.is(x, -0)) {
+    return x < 0 ? "-inf"
+      : x === 0 ? "-0" : "inf";
+  }
+  let s = "x";
+  for (let p = 1; p <= 9 && f32_round(s) !== x; p += 1) {
+    s = String(Number(x.toExponential(p - 1)));
+  }
+  return s;
+}
+
+function f32_bits(x) {
+  return new Uint32Array(new Float32Array([x]).buffer)[0];
+}
+
+function f32_from_bits(u) {
+  return new Float32Array(new Uint32Array([u]).buffer)[0];
+}
+
+function f32_read(s) {
+  const re = /^\s*[+-]?((\d+\.?\d*|\.\d+)(e[+-]?\d+)?|inf(inity)?|nan)$/i;
+  const v = f32_round(s.replace(/inf\w*/i, "Infinity"));
+  return re.test(s) ? new $C$Some$value(v) : $N$None;
+}
+
+const f32_round = function f32_round(s) {
+  const d = Number(s);
+  const a = Math.abs(d);
+  const f = Math.fround(a);
+  const g = 2 * a - Math.min(f, 2 ** 128);
+  if (g === f || Math.fround(g) !== g || g === Infinity) {
+    return Math.sign(d) * f;
+  }
+  let k = 0;
+  while (a * 2 ** k % 1 !== 0) {
+    k += 1;
+  }
+  const [, i, r, e] = /(\d*)\.?(\d*)(?:e([+-]?\d+))?$/i.exec(s);
+  const n = Number(e ?? 0) - r.length;
+  const x = BigInt(i + r) * 2n ** BigInt(k) * 10n ** BigInt(Math.max(n, 0));
+  const y = BigInt(a * 2 ** k) * 10n ** BigInt(Math.max(-n, 0));
+  return Math.sign(d) * (x === y || x > y !== g > f ? f : g);
+};
+
+function char_new(code) {
+  if (code > 0x10FFFF || (code >= 0xD800 && code <= 0xDFFF)) {
+    throw "bend: " + code + " is not a Unicode scalar value";
+  }
+  return String.fromCodePoint(code);
+}
+
+// Array
+// =====
+
+function array_new(d, v) {
+  if (d > 31) {
+    throw "bend: an array past the deepest block class 31";
+  }
+  return Array(2 ** d).fill(v);
+}
+
+function array_node(a, b) {
+  if (a.length !== b.length) {
+    throw "bend: runtime fail-stop";
+  }
+  return a.concat(b);
+}
+
+function array_rmw(a, i, f) {
+  const at = i % a.length;
+  const old = a[at];
+  a[at] = f(old);
+  return new $C$Tuple$fst$snd(a, old);
+}
+
+// Run
+// ===
+
+function run_tail(f, x) {
+  return new $C$$JMP$f$x(f.j?.f === f ? f.j : f, [x]);
+}
+
+function run_clo(j) {
+  const f = (x) => run_loop(j(x));
+  f.j = j;
+  j.f = f;
+  return f;
+}
+
+function run_loop(r) {
+  while (r !== null && typeof r === "object" && r.$ === "$JMP") {
+    r = r.f(...r.x);
+  }
+  return r;
+}
+
+function run_lib(f, n) {
+  return (...a) => a.length < n ? run_lib((...b) => f(...a, ...b), n - a.length)
+    : f(...a);
+}
+
+// Effect
+// ======
+
+const $0eff = Object.create(null);
+
+function io_eff(k, run, need) {
+  if (k in $0eff) {
+    throw new Error("bend: two effects register " + k);
+  }
+  $0eff[k] = { run, need };
+}
+// Program
+// =======
+
+function $pick_raw$(_b_0, _x_0, _y_0) {
+  if (_b_0) {
+    return _x_0;
+  } else {
+    return _y_0;
+  }
+}
+
+function $lookup$(_name_0, _r_0) {
+  if (_r_0.$ === "RKey") {
+    const _k_0 = _r_0["key"];
+    const _v_0 = _r_0["val"];
+    const _rest_0 = _r_0["rest"];
+    return $pick_raw$(($String$eq$(_k_0, _name_0)), _v_0, ($lookup$(_name_0, _rest_0)));
+  } else {
+    return $N$RMissing;
+  }
+}
+
+function $pick_bool$(_b_0, _x_0, _y_0) {
+  if (_b_0) {
+    return _x_0;
+  } else {
+    return _y_0;
+  }
+}
+
+function $is_rnil$(_r_0) {
+  if (_r_0.$ === "RNil") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $is_missing$(_v_0) {
+  if (_v_0.$ === "RMissing") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $in_names$(_x_0, _names_0) {
+  if (_names_0.$ === "Nil") {
+    return false;
+  } else {
+    const _n_0 = _names_0["head"];
+    const _t_0 = _names_0["tail"];
+    const _x_1 = ($String$eq$(_x_0, _n_0));
+    const _x_2 = ($in_names$(_x_0, _t_0));
+    return (_x_1 || _x_2);
+  }
+}
+
+function $none_present$(_s_0, _r_0) {
+  if (_s_0.$ === "SVariant") {
+    const _n_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    return $Bool$and$(($is_missing$(($lookup$(_n_0, _r_0)))), ($none_present$(_rest_0, _r_0)));
+  } else {
+    return true;
+  }
+}
+
+function $key_names$(_s_0) {
+  const $stk = [];
+  for (;;) {
+  if (_s_0.$ === "SField") {
+    const _n_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    $stk.push(new $C$Con$head$tail(_n_0, null), "tail");
+    { const $a0 = _rest_0; _s_0 = $a0; continue; }
+  } else if (_s_0.$ === "SVariant") {
+    const _n_1 = _s_0["name"];
+    const _rest_1 = _s_0["rest"];
+    $stk.push(new $C$Con$head$tail(_n_1, null), "tail");
+    { const $a0 = _rest_1; _s_0 = $a0; continue; }
+  } else {
+    { const $v = $N$Nil; return $unwind$($stk, $v); }
+  }
+  }
+}
+
+function $no_extra$(_ns_0, _r_0) {
+  if (_r_0.$ === "RKey") {
+    const _k_0 = _r_0["key"];
+    const _o_0 = _r_0["rest"];
+    return $Bool$and$(($in_names$(_k_0, _ns_0)), ($no_extra$(_ns_0, _o_0)));
+  } else {
+    return true;
+  }
+}
+
+function $drop_key$(_k_0, _r_0) {
+  if (_r_0.$ === "RKey") {
+    const _j_0 = _r_0["key"];
+    const _v_0 = _r_0["val"];
+    const _o_0 = _r_0["rest"];
+    return $pick_raw$(($String$eq$(_j_0, _k_0)), _o_0, new $C$RKey$key$val$rest(_j_0, _v_0, ($drop_key$(_k_0, _o_0))));
+  } else {
+    return _r_0;
+  }
+}
+
+function $is_str$(_n_0, _v_0) {
+  if (_v_0.$ === "RStr") {
+    const _x_0 = _v_0["s"];
+    return $String$eq$(_x_0, _n_0);
+  } else {
+    return false;
+  }
+}
+
+function $is_tag$(_k_0, _n_0, _r_0) {
+  return $is_str$(_n_0, ($lookup$(_k_0, _r_0)));
+}
+
+function $in_err$(_b_0, _w_0) {
+  if (_b_0) {
+    return $N$None;
+  } else {
+    return new $C$Some$value(new $C$Err$path$why($N$Nil, _w_0));
+  }
+}
+
+function $str_len_ok$(_lo_0, _hi_0, _x_0) {
+  return $Bool$and$(($Nat$is_le$(_lo_0, [..._x_0].length)), ($Nat$is_le$([..._x_0].length, _hi_0)));
+}
+
+function $num_ok$(_lo_0, _hi_0, _n_0) {
+  return $Bool$and$(($Nat$is_le$(_lo_0, _n_0)), ($Nat$is_le$(_n_0, _hi_0)));
+}
+
+function $len_ok$(_lo_0, _hi_0, _r_0) {
+  if (_r_0.$ === "RStr") {
+    const _x_0 = _r_0["s"];
+    return $str_len_ok$(_lo_0, _hi_0, _x_0);
+  } else {
+    return false;
+  }
+}
+
+function $str_len_in$(_lo_0, _hi_0, _r_0) {
+  if (_r_0.$ === "RStr") {
+    const _x_0 = _r_0["s"];
+    return $in_err$(($str_len_ok$(_lo_0, _hi_0, _x_0)), new $C$LengthNotIn$lo$hi(_lo_0, _hi_0));
+  } else {
+    return $N$None;
+  }
+}
+
+function $nat_in$(_lo_0, _hi_0, _r_0) {
+  if (_r_0.$ === "RNum") {
+    const _n_0 = _r_0["n"];
+    return $in_err$(($num_ok$(_lo_0, _hi_0, _n_0)), new $C$NotIn$lo$hi(_lo_0, _hi_0));
+  } else {
+    return $N$None;
+  }
+}
+
+function $is_bool$(_r_0) {
+  if (_r_0.$ === "RBool") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $raw_list$($0) {
+  for (;;) {
+    {
+      const _r_0 = $0;
+      if (_r_0.$ === "RNil") {
+        return true;
+      } else if (_r_0.$ === "RCons") {
+        const _t_0 = _r_0["tail"];
+        $0 = _t_0;
+        continue;
+      } else {
+        return false;
+      }
+    }
+  }
+}
+
+function $raw_len$(_r_0) {
+  if (_r_0.$ === "RCons") {
+    const _t_0 = _r_0["tail"];
+    return nat_chk(($raw_len$(_t_0)) + 1);
+  } else {
+    return 0;
+  }
+}
+
+function $count_ok$(_lo_0, _hi_0, _r_0) {
+  return $Bool$and$(($Nat$is_le$(_lo_0, ($raw_len$(_r_0)))), ($Nat$is_le$(($raw_len$(_r_0)), _hi_0)));
+}
+
+function $list_len_ok$(_lo_0, _hi_0, _r_0) {
+  return $Bool$and$(($raw_list$(_r_0)), ($count_ok$(_lo_0, _hi_0, _r_0)));
+}
+
+function $has_key$(_k_0, _r_0) {
+  if (_r_0.$ === "RKey") {
+    const _j_0 = _r_0["key"];
+    const _o_0 = _r_0["rest"];
+    const _x_0 = ($String$eq$(_k_0, _j_0));
+    const _x_1 = ($has_key$(_k_0, _o_0));
+    return (_x_0 || _x_1);
+  } else {
+    return false;
+  }
+}
+
+function $key_once_at$(_r_0, _b_0, _name_0) {
+  if (_r_0.$ === "RKey") {
+    const _k_0 = _r_0["key"];
+    const _o_0 = _r_0["rest"];
+    const _x_0 = ($String$eq$(_k_0, _name_0));
+    return $Bool$and$(($Bool$not$(($Bool$and$(_b_0, ($String$eq$(_k_0, _name_0)))))), ($key_once_at$(_o_0, (_b_0 || _x_0), _name_0)));
+  } else {
+    return true;
+  }
+}
+
+function $key_once$(_name_0, _r_0) {
+  return $key_once_at$(_r_0, false, _name_0);
+}
+
+function $key_err$(_b_0, _name_0) {
+  if (_b_0) {
+    return $N$None;
+  } else {
+    return new $C$Some$value(new $C$Err$path$why(new $C$Con$head$tail(new $C$AtField$skip$name(0, _name_0), $N$Nil), new $C$RepeatedKey$key(_name_0)));
+  }
+}
+
+function $here$(_w_0) {
+  return new $C$Some$value(new $C$Err$path$why($N$Nil, _w_0));
+}
+
+function $under$(_st_0, _m_0) {
+  if (_m_0.$ === "None") {
+    return $N$None;
+  } else {
+    const _t_0 = _m_0["value"];
+    const _p_0 = _t_0["path"];
+    const _w_0 = _t_0["why"];
+    return new $C$Some$value(new $C$Err$path$why(new $C$Con$head$tail(_st_0, _p_0), _w_0));
+  }
+}
+
+function $len_err$(_lo_0, _hi_0, _r_0) {
+  if (_r_0.$ === "RStr") {
+    const _x_0 = _r_0["s"];
+    return $in_err$(($str_len_ok$(_lo_0, _hi_0, _x_0)), new $C$LengthNotIn$lo$hi(_lo_0, _hi_0));
+  } else if (_r_0.$ === "RMissing") {
+    return $here$($N$Missing);
+  } else if (_r_0.$ === "RTooBig") {
+    return $here$($N$TooLarge);
+  } else {
+    return $here$($N$NotString);
+  }
+}
+
+function $later_l_path$(_p_0) {
+  if (_p_0.$ === "Con") {
+    const _t_0 = _p_0["head"];
+    if (_t_0.$ === "AtIndex") {
+      const _j_0 = _t_0["i"];
+      const _q_0 = _p_0["tail"];
+      return new $C$Con$head$tail(new $C$AtIndex$i(nat_chk(_j_0 + 1)), _q_0);
+    } else {
+      const _q_1 = _p_0["tail"];
+      return new $C$Con$head$tail(_t_0, _q_1);
+    }
+  } else {
+    return _p_0;
+  }
+}
+
+function $later_l$(_m_0) {
+  if (_m_0.$ === "None") {
+    return $N$None;
+  } else {
+    const _t_0 = _m_0["value"];
+    const _p_0 = _t_0["path"];
+    const _w_0 = _t_0["why"];
+    return new $C$Some$value(new $C$Err$path$why(($later_l_path$(_p_0)), _w_0));
+  }
+}
+
+function $later_i_path$(_p_0) {
+  if (_p_0.$ === "Con") {
+    const _t_0 = _p_0["head"];
+    if (_t_0.$ === "AtIndex") {
+      const _j_0 = _t_0["i"];
+      const _q_0 = _p_0["tail"];
+      return new $C$Con$head$tail(new $C$AtIndex$i(nat_chk(_j_0 + 1)), _q_0);
+    } else if (_t_0.$ === "BoundAt") {
+      const _j_1 = _t_0["i"];
+      const _key_0 = _t_0["key"];
+      const _q_1 = _p_0["tail"];
+      return new $C$Con$head$tail(new $C$BoundAt$i$key(nat_chk(_j_1 + 1), _key_0), _q_1);
+    } else {
+      const _q_2 = _p_0["tail"];
+      return new $C$Con$head$tail(_t_0, _q_2);
+    }
+  } else {
+    return _p_0;
+  }
+}
+
+function $later_i$(_m_0) {
+  if (_m_0.$ === "None") {
+    return $N$None;
+  } else {
+    const _t_0 = _m_0["value"];
+    const _p_0 = _t_0["path"];
+    const _w_0 = _t_0["why"];
+    return new $C$Some$value(new $C$Err$path$why(($later_i_path$(_p_0)), _w_0));
+  }
+}
+
+function $later_f_path$(_p_0) {
+  if (_p_0.$ === "Con") {
+    const _t_0 = _p_0["head"];
+    if (_t_0.$ === "AtField") {
+      const _k_0 = _t_0["skip"];
+      const _n_0 = _t_0["name"];
+      const _q_0 = _p_0["tail"];
+      return new $C$Con$head$tail(new $C$AtField$skip$name(nat_chk(_k_0 + 1), _n_0), _q_0);
+    } else {
+      const _q_1 = _p_0["tail"];
+      return new $C$Con$head$tail(_t_0, _q_1);
+    }
+  } else {
+    return _p_0;
+  }
+}
+
+function $later_f$(_m_0) {
+  if (_m_0.$ === "None") {
+    return $N$None;
+  } else {
+    const _t_0 = _m_0["value"];
+    const _p_0 = _t_0["path"];
+    const _w_0 = _t_0["why"];
+    return new $C$Some$value(new $C$Err$path$why(($later_f_path$(_p_0)), _w_0));
+  }
+}
+
+function $first$(_m_0, _n_0) {
+  if (_m_0.$ === "None") {
+    return _n_0;
+  } else {
+    const _e_0 = _m_0["value"];
+    return new $C$Some$value(_e_0);
+  }
+}
+
+function $missing_or$(_r_0, _w_0) {
+  if (_r_0.$ === "RMissing") {
+    return $N$Missing;
+  } else if (_r_0.$ === "RTooBig") {
+    return $N$TooLarge;
+  } else {
+    return _w_0;
+  }
+}
+
+function $pick_err$(_b_0, _x_0, _y_0) {
+  if (_b_0) {
+    return _x_0;
+  } else {
+    return _y_0;
+  }
+}
+
+function $true_err$(_b_0) {
+  if (_b_0) {
+    return $N$None;
+  } else {
+    return $here$($N$NotTrue);
+  }
+}
+
+function $enum_err$(_b_0) {
+  if (_b_0) {
+    return $N$None;
+  } else {
+    return $here$($N$NotOneOf);
+  }
+}
+
+function $dup_err$(_s_0, _r_0) {
+  if (_s_0.$ === "SVariant") {
+    const _n_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    return $pick_err$(($is_missing$(($lookup$(_n_0, _r_0)))), ($later_f$(($dup_err$(_rest_0, _r_0)))), new $C$Some$value(new $C$Err$path$why(new $C$Con$head$tail(new $C$AtField$skip$name(0, _n_0), $N$Nil), $N$TwoVariants)));
+  } else {
+    return $N$None;
+  }
+}
+
+function $extra_err$(_ns_0, _r_0) {
+  if (_r_0.$ === "RKey") {
+    const _k_0 = _r_0["key"];
+    const _o_0 = _r_0["rest"];
+    return $pick_err$(($in_names$(_k_0, _ns_0)), ($extra_err$(_ns_0, _o_0)), new $C$Some$value(new $C$Err$path$why(new $C$Con$head$tail(new $C$AtKey$key(_k_0), $N$Nil), $N$UnknownKey)));
+  } else {
+    return $N$None;
+  }
+}
+
+function $tag_err$(_k_0, _r_0) {
+  if (_r_0.$ === "REnd") {
+    return new $C$Some$value(new $C$Err$path$why(new $C$Con$head$tail(new $C$AtKey$key(_k_0), $N$Nil), $N$Missing));
+  } else if (_r_0.$ === "RKey") {
+    const _j_0 = _r_0["key"];
+    const _v_0 = _r_0["val"];
+    const _o_0 = _r_0["rest"];
+    return new $C$Some$value(new $C$Err$path$why(new $C$Con$head$tail(new $C$AtKey$key(_k_0), $N$Nil), ($missing_or$(($lookup$(_k_0, new $C$RKey$key$val$rest(_j_0, _v_0, _o_0))), $N$NotOneOf))));
+  } else {
+    return $here$(($missing_or$(_r_0, $N$NotObject)));
+  }
+}
+
+function $count_err$(_lo_0, _hi_0, _r_0) {
+  if (_r_0.$ === "RNil") {
+    return $in_err$(($list_len_ok$(_lo_0, _hi_0, $N$RNil)), new $C$CountNotIn$lo$hi(_lo_0, _hi_0));
+  } else if (_r_0.$ === "RCons") {
+    const _h_0 = _r_0["head"];
+    const _t_0 = _r_0["tail"];
+    return $in_err$(($list_len_ok$(_lo_0, _hi_0, new $C$RCons$head$tail(_h_0, _t_0))), new $C$CountNotIn$lo$hi(_lo_0, _hi_0));
+  } else {
+    return $here$(($missing_or$(_r_0, $N$NotList)));
+  }
+}
+
+function $guard$(_b_0, _m_0) {
+  if (_b_0) {
+    return _m_0;
+  } else {
+    return $N$None;
+  }
+}
+
+function $nat_in_defect$(_lo_0, _hi_0, _r_0, _p_0) {
+  if (_r_0.$ === "RNum") {
+    const _n_0 = _r_0["n"];
+    if (_p_0.$ === "Nil") {
+      return $guard$(($Bool$not$(($num_ok$(_lo_0, _hi_0, _n_0)))), new $C$Some$value(new $C$NotIn$lo$hi(_lo_0, _hi_0)));
+    } else {
+      return $N$None;
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotNat)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $bool_defect$(_r_0, _p_0) {
+  if (_r_0.$ === "RBool") {
+    if (_p_0.$ === "Nil") {
+      return $N$None;
+    } else {
+      return $N$None;
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotBool)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $no_rule$(_tag_0, _r_0) {
+  return $N$None;
+}
+
+function $first_why$(_m_0, _n_0) {
+  if (_m_0.$ === "None") {
+    return _n_0;
+  } else {
+    const _w_0 = _m_0["value"];
+    return new $C$Some$value(_w_0);
+  }
+}
+
+function $step_eq$(_x_0, _y_0) {
+  if (_x_0.$ === "AtIndex") {
+    const _i_0 = _x_0["i"];
+    if (_y_0.$ === "AtIndex") {
+      const _j_0 = _y_0["i"];
+      return $Nat$is_eq$(_i_0, _j_0);
+    } else {
+      return false;
+    }
+  } else if (_x_0.$ === "AtField") {
+    const _a_0 = _x_0["skip"];
+    const _n_0 = _x_0["name"];
+    if (_y_0.$ === "AtField") {
+      const _b_0 = _y_0["skip"];
+      const _m_0 = _y_0["name"];
+      return $Bool$and$(($Nat$is_eq$(_a_0, _b_0)), ($String$eq$(_n_0, _m_0)));
+    } else {
+      return false;
+    }
+  } else if (_x_0.$ === "BoundAt") {
+    const _i_1 = _x_0["i"];
+    const _k_0 = _x_0["key"];
+    if (_y_0.$ === "BoundAt") {
+      const _j_1 = _y_0["i"];
+      const _m_1 = _y_0["key"];
+      return $Bool$and$(($Nat$is_eq$(_i_1, _j_1)), ($String$eq$(_k_0, _m_1)));
+    } else {
+      return false;
+    }
+  } else {
+    const _k_1 = _x_0["key"];
+    if (_y_0.$ === "AtKey") {
+      const _m_2 = _y_0["key"];
+      return $String$eq$(_k_1, _m_2);
+    } else {
+      return false;
+    }
+  }
+}
+
+function $path_eq$(_x_0, _y_0) {
+  if (_x_0.$ === "Nil") {
+    if (_y_0.$ === "Nil") {
+      return true;
+    } else {
+      return false;
+    }
+  } else {
+    const _a_0 = _x_0["head"];
+    const _at_0 = _x_0["tail"];
+    if (_y_0.$ === "Con") {
+      const _b_0 = _y_0["head"];
+      const _bt_0 = _y_0["tail"];
+      return $Bool$and$(($step_eq$(_a_0, _b_0)), ($path_eq$(_at_0, _bt_0)));
+    } else {
+      return false;
+    }
+  }
+}
+
+function $rule_defect$(_m_0, _p_0) {
+  if (_m_0.$ === "Some") {
+    const _t_0 = _m_0["value"];
+    const _q_0 = _t_0["path"];
+    const _w_0 = _t_0["why"];
+    return $guard$(($path_eq$(_q_0, _p_0)), new $C$Some$value(_w_0));
+  } else {
+    return $N$None;
+  }
+}
+
+function $not_list$(_x_0, _p_0) {
+  if (_p_0.$ === "Nil") {
+    return new $C$Some$value(($missing_or$(_x_0, $N$NotList)));
+  } else {
+    return $N$None;
+  }
+}
+
+function $not_object$(_x_0, _p_0) {
+  if (_p_0.$ === "Nil") {
+    return new $C$Some$value(($missing_or$(_x_0, $N$NotObject)));
+  } else {
+    return $N$None;
+  }
+}
+
+function $nat_defect$(_r_0, _p_0) {
+  if (_r_0.$ === "RNum") {
+    if (_p_0.$ === "Nil") {
+      return $N$None;
+    } else {
+      return $N$None;
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotNat)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $str_defect$(_r_0, _p_0) {
+  if (_r_0.$ === "RStr") {
+    if (_p_0.$ === "Nil") {
+      return $N$None;
+    } else {
+      return $N$None;
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotString)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $pick_why$(_b_0, _x_0, _y_0) {
+  if (_b_0) {
+    return _x_0;
+  } else {
+    return _y_0;
+  }
+}
+
+function $true_defect$(_r_0, _p_0) {
+  if (_r_0.$ === "RBool") {
+    const _t_0 = _r_0["b"];
+    if (_t_0) {
+      if (_p_0.$ === "Nil") {
+        return $N$None;
+      } else {
+        return $N$None;
+      }
+    } else {
+      if (_p_0.$ === "Nil") {
+        return new $C$Some$value($N$NotTrue);
+      } else {
+        return $N$None;
+      }
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotTrue)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $enum_defect$(_names_0, _r_0, _p_0) {
+  if (_r_0.$ === "RStr") {
+    const _x_0 = _r_0["s"];
+    if (_p_0.$ === "Nil") {
+      return $guard$(($Bool$not$(($in_names$(_x_0, _names_0)))), new $C$Some$value($N$NotOneOf));
+    } else {
+      return $N$None;
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotOneOf)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $no_variant$(_p_0) {
+  if (_p_0.$ === "Nil") {
+    return new $C$Some$value($N$NoVariant);
+  } else {
+    return $N$None;
+  }
+}
+
+function $dup_defect$(_s_0, _r_0, _p_0) {
+  if (_s_0.$ === "SVariant") {
+    const _n2_0 = _s_0["name"];
+    const _rr_0 = _s_0["rest"];
+    if (_p_0.$ === "Con") {
+      const _t_0 = _p_0["head"];
+      if (_t_0.$ === "AtField") {
+        const _t_1 = _t_0["skip"];
+        if (_t_1 === 0) {
+          const _m_0 = _t_0["name"];
+          const _t_2 = _p_0["tail"];
+          if (_t_2.$ === "Nil") {
+            return $guard$(($Bool$and$(($String$eq$(_m_0, _n2_0)), ($Bool$not$(($is_missing$(($lookup$(_n2_0, _r_0)))))))), new $C$Some$value($N$TwoVariants));
+          } else {
+            return $N$None;
+          }
+        } else {
+          const _j_0 = (_t_1 - 1);
+          const _m_1 = _t_0["name"];
+          const _41_0 = _p_0["tail"];
+          return $guard$(($is_missing$(($lookup$(_n2_0, _r_0)))), ($dup_defect$(_rr_0, _r_0, new $C$Con$head$tail(new $C$AtField$skip$name(_j_0, _m_1), _41_0))));
+        }
+      } else {
+        return $N$None;
+      }
+    } else {
+      return $N$None;
+    }
+  } else {
+    return $N$None;
+  }
+}
+
+function $at_end$(_w_0, _p_0) {
+  if (_p_0.$ === "Nil") {
+    return new $C$Some$value(_w_0);
+  } else {
+    return $N$None;
+  }
+}
+
+function $extra_defect$(_ns_0, _r_0, _p_0) {
+  if (_p_0.$ === "Con") {
+    const _t_0 = _p_0["head"];
+    if (_t_0.$ === "AtKey") {
+      const _k_0 = _t_0["key"];
+      const _t_1 = _p_0["tail"];
+      if (_t_1.$ === "Nil") {
+        return $guard$(($Bool$and$(($has_key$(_k_0, _r_0)), ($Bool$not$(($in_names$(_k_0, _ns_0)))))), new $C$Some$value($N$UnknownKey));
+      } else {
+        return $N$None;
+      }
+    } else {
+      return $N$None;
+    }
+  } else {
+    return $N$None;
+  }
+}
+
+function $tag_defect$(_k_0, _r_0, _p_0) {
+  if (_r_0.$ === "REnd") {
+    if (_p_0.$ === "Con") {
+      const _t_0 = _p_0["head"];
+      if (_t_0.$ === "AtKey") {
+        const _j_0 = _t_0["key"];
+        const _t_1 = _p_0["tail"];
+        if (_t_1.$ === "Nil") {
+          return $guard$(($String$eq$(_j_0, _k_0)), new $C$Some$value($N$Missing));
+        } else {
+          return $N$None;
+        }
+      } else {
+        return $N$None;
+      }
+    } else {
+      return $N$None;
+    }
+  } else if (_r_0.$ === "RKey") {
+    const _j_1 = _r_0["key"];
+    const _v_0 = _r_0["val"];
+    const _o_0 = _r_0["rest"];
+    if (_p_0.$ === "Con") {
+      const _t_2 = _p_0["head"];
+      if (_t_2.$ === "AtKey") {
+        const _i_0 = _t_2["key"];
+        const _t_3 = _p_0["tail"];
+        if (_t_3.$ === "Nil") {
+          return $guard$(($String$eq$(_i_0, _k_0)), new $C$Some$value(($missing_or$(($lookup$(_k_0, new $C$RKey$key$val$rest(_j_1, _v_0, _o_0))), $N$NotOneOf))));
+        } else {
+          return $N$None;
+        }
+      } else {
+        return $N$None;
+      }
+    } else {
+      return $N$None;
+    }
+  } else {
+    if (_p_0.$ === "Nil") {
+      return new $C$Some$value(($missing_or$(_r_0, $N$NotObject)));
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $tag_key_defect$(_b_0, _k_0, _p_0) {
+  if (!_b_0) {
+    return $N$None;
+  } else {
+    if (_p_0.$ === "Con") {
+      const _t_0 = _p_0["head"];
+      if (_t_0.$ === "AtField") {
+        const _t_1 = _t_0["skip"];
+        if (_t_1 === 0) {
+          const _j_0 = _t_0["name"];
+          const _t_2 = _p_0["tail"];
+          if (_t_2.$ === "Nil") {
+            return $pick_why$(($String$eq$(_j_0, _k_0)), new $C$Some$value(new $C$RepeatedKey$key(_k_0)), $N$None);
+          } else {
+            return $N$None;
+          }
+        } else {
+          return $N$None;
+        }
+      } else {
+        return $N$None;
+      }
+    } else {
+      return $N$None;
+    }
+  }
+}
+
+function $check0$(_s_0, _r_0) {
+  return $check$1260$(_s_0, _r_0, $N$None);
+}
+
+function $conforms0$(_s_0, _r_0) {
+  return $conforms$1260$(_s_0, _r_0, $N$None);
+}
+
+function $is_chain$($0) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      if (_s_0.$ === "SVariant") {
+        const _rest_0 = _s_0["rest"];
+        $0 = _rest_0;
+        continue;
+      } else if (_s_0.$ === "SVEnd") {
+        return true;
+      } else {
+        return false;
+      }
+    }
+  }
+}
+
+function $is_object$(_r_0) {
+  if (_r_0.$ === "REnd") {
+    return true;
+  } else if (_r_0.$ === "RKey") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $one_if_there$(_b_0) {
+  if (_b_0) {
+    return 0;
+  } else {
+    return 1;
+  }
+}
+
+function $count_present$(_s_0, _r_0) {
+  if (_s_0.$ === "SVariant") {
+    const _n_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    const _x_0 = ($one_if_there$(($is_missing$(($lookup$(_n_0, _r_0))))));
+    const _x_1 = ($count_present$(_rest_0, _r_0));
+    return nat_chk(_x_0 + _x_1);
+  } else {
+    return 0;
+  }
+}
+
+function $tuple_of$(_ss_0) {
+  const $stk = [];
+  for (;;) {
+  if (_ss_0.$ === "Nil") {
+    { const $v = $N$STEnd; return $unwind$($stk, $v); }
+  } else {
+    const _h_0 = _ss_0["head"];
+    const _t_0 = _ss_0["tail"];
+    $stk.push(new $C$STuple$s$rest(_h_0, null), "rest");
+    { const $a0 = _t_0; _ss_0 = $a0; continue; }
+  }
+  }
+}
+
+function $at_raw$($0, $1) {
+  for (;;) {
+    {
+      const _r_0 = $0;
+      const _i_0 = $1;
+      if (_r_0.$ === "RCons") {
+        const _h_0 = _r_0["head"];
+        const _t_0 = _r_0["tail"];
+        if (_i_0 === 0) {
+          return _h_0;
+        } else {
+          const _j_0 = (_i_0 - 1);
+          $0 = _t_0;
+          $1 = _j_0;
+          continue;
+        }
+      } else {
+        return $N$RMissing;
+      }
+    }
+  }
+}
+
+function $count_unknown$(_ns_0, _r_0) {
+  if (_r_0.$ === "RKey") {
+    const _k_0 = _r_0["key"];
+    const _o_0 = _r_0["rest"];
+    const _x_0 = ($one_if_there$(($in_names$(_k_0, _ns_0))));
+    const _x_1 = ($count_unknown$(_ns_0, _o_0));
+    return nat_chk(_x_0 + _x_1);
+  } else {
+    return 0;
+  }
+}
+
+function $Meaning$($0) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      if (_s_0.$ === "SNat") {
+        return null;
+      } else if (_s_0.$ === "SNatIn") {
+        return null;
+      } else if (_s_0.$ === "SStr") {
+        return null;
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        continue;
+      } else if (_s_0.$ === "SOpt") {
+        return null;
+      } else if (_s_0.$ === "SOptional") {
+        return null;
+      } else if (_s_0.$ === "SList") {
+        return null;
+      } else if (_s_0.$ === "SField") {
+        return null;
+      } else if (_s_0.$ === "SEnd") {
+        return null;
+      } else if (_s_0.$ === "SRule") {
+        const _s2_2 = _s_0["s"];
+        $0 = _s2_2;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_3 = _s_0["s"];
+        $0 = _s2_3;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        return null;
+      } else if (_s_0.$ === "STagEnd") {
+        return null;
+      } else if (_s_0.$ === "SBool") {
+        return null;
+      } else if (_s_0.$ === "STrue") {
+        return null;
+      } else if (_s_0.$ === "SEnum") {
+        return null;
+      } else if (_s_0.$ === "SVariant") {
+        return null;
+      } else if (_s_0.$ === "SVEnd") {
+        return null;
+      } else if (_s_0.$ === "STuple") {
+        return null;
+      } else {
+        return null;
+      }
+    }
+  }
+}
+
+function $enc$($0, $1) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      const _x_0 = $1;
+      if (_s_0.$ === "SNat") {
+        return new $C$RNum$n(_x_0);
+      } else if (_s_0.$ === "SNatIn") {
+        return new $C$RNum$n(_x_0);
+      } else if (_s_0.$ === "SStr") {
+        return new $C$RStr$s(_x_0);
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SOpt") {
+        const _i_0 = _s_0["inner"];
+        if (_x_0.$ === "None") {
+          return $N$RNull;
+        } else {
+          const _v_0 = _x_0["value"];
+          $0 = _i_0;
+          $1 = _v_0;
+          continue;
+        }
+      } else if (_s_0.$ === "SOptional") {
+        const _i_1 = _s_0["inner"];
+        if (_x_0.$ === "None") {
+          return $N$RMissing;
+        } else {
+          const _v_1 = _x_0["value"];
+          $0 = _i_1;
+          $1 = _v_1;
+          continue;
+        }
+      } else if (_s_0.$ === "SList") {
+        const _e_0 = _s_0["elem"];
+        if (_x_0.$ === "Nil") {
+          return $N$RNil;
+        } else {
+          const _h_0 = _x_0["head"];
+          const _t_0 = _x_0["tail"];
+          return new $C$RCons$head$tail(($enc$(_e_0, _h_0)), ($enc$(new $C$SList$elem(_e_0), _t_0)));
+        }
+      } else if (_s_0.$ === "SField") {
+        const _n_0 = _s_0["name"];
+        const _fs_0 = _s_0["s"];
+        const _rest_0 = _s_0["rest"];
+        const _a_0 = _x_0["a"];
+        const _b_0 = _x_0["b"];
+        return new $C$RKey$key$val$rest(_n_0, ($enc$(_fs_0, _a_0)), ($enc$(_rest_0, _b_0)));
+      } else if (_s_0.$ === "SEnd") {
+        return $N$REnd;
+      } else if (_s_0.$ === "SRule") {
+        const _s2_2 = _s_0["s"];
+        $0 = _s2_2;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_3 = _s_0["s"];
+        $0 = _s2_3;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        const _k_0 = _s_0["key"];
+        const _n_1 = _s_0["name"];
+        const _cs_0 = _s_0["s"];
+        const _rest_1 = _s_0["rest"];
+        if (_x_0.$ === "Inl") {
+          const _a_1 = _x_0["value"];
+          return new $C$RKey$key$val$rest(_k_0, new $C$RStr$s(_n_1), ($enc$(_cs_0, _a_1)));
+        } else {
+          const _b_1 = _x_0["value"];
+          $0 = _rest_1;
+          $1 = _b_1;
+          continue;
+        }
+      } else if (_s_0.$ === "STagEnd") {
+        return $Empty$absurd$(_x_0);
+      } else if (_s_0.$ === "STrue") {
+        return new $C$RBool$b(true);
+      } else if (_s_0.$ === "SBool") {
+        return new $C$RBool$b(_x_0);
+      } else if (_s_0.$ === "SEnum") {
+        return new $C$RStr$s(_x_0);
+      } else if (_s_0.$ === "SVariant") {
+        const _n_2 = _s_0["name"];
+        const _vs_0 = _s_0["s"];
+        const _rest_2 = _s_0["rest"];
+        if (_x_0.$ === "Inl") {
+          const _a_2 = _x_0["value"];
+          return new $C$RKey$key$val$rest(_n_2, ($enc$(_vs_0, _a_2)), $N$REnd);
+        } else {
+          const _b_2 = _x_0["value"];
+          $0 = _rest_2;
+          $1 = _b_2;
+          continue;
+        }
+      } else if (_s_0.$ === "SVEnd") {
+        return $Empty$absurd$(_x_0);
+      } else if (_s_0.$ === "STuple") {
+        const _ts_0 = _s_0["s"];
+        const _rest_3 = _s_0["rest"];
+        const _a_3 = _x_0["a"];
+        const _b_3 = _x_0["b"];
+        return new $C$RCons$head$tail(($enc$(_ts_0, _a_3)), ($enc$(_rest_3, _b_3)));
+      } else {
+        return $N$RNil;
+      }
+    }
+  }
+}
+
+function $lcons$(_h_0, _t_0) {
+  if (_h_0.$ === "Some") {
+    const _x_0 = _h_0["value"];
+    if (_t_0.$ === "Some") {
+      const _xs_0 = _t_0["value"];
+      return new $C$Some$value(new $C$Con$head$tail(_x_0, _xs_0));
+    } else {
+      return $N$None;
+    }
+  } else {
+    return $N$None;
+  }
+}
+
+function $both$(_p_0, _q_0) {
+  if (_p_0.$ === "Some") {
+    const _x_0 = _p_0["value"];
+    if (_q_0.$ === "Some") {
+      const _y_0 = _q_0["value"];
+      return new $C$Some$value(new $C$Both$a$b(_x_0, _y_0));
+    } else {
+      return $N$None;
+    }
+  } else {
+    return $N$None;
+  }
+}
+
+function $opt_some$(_m_0) {
+  if (_m_0.$ === "Some") {
+    const _v_0 = _m_0["value"];
+    return new $C$Some$value(new $C$Some$value(_v_0));
+  } else {
+    return $N$None;
+  }
+}
+
+function $map_inl$(_m_0) {
+  if (_m_0.$ === "Some") {
+    const _v_0 = _m_0["value"];
+    return new $C$Some$value(new $C$Inl$value(_v_0));
+  } else {
+    return $N$None;
+  }
+}
+
+function $map_inr$(_m_0) {
+  if (_m_0.$ === "Some") {
+    const _v_0 = _m_0["value"];
+    return new $C$Some$value(new $C$Inr$value(_v_0));
+  } else {
+    return $N$None;
+  }
+}
+
+function $pick_m$(_b_0, _x_0, _y_0) {
+  if (_b_0) {
+    return _x_0;
+  } else {
+    return _y_0;
+  }
+}
+
+function $true_unit$(_b_0) {
+  if (_b_0) {
+    return new $C$Some$value($N$Unit);
+  } else {
+    return $N$None;
+  }
+}
+
+function $nullish$(_r_0) {
+  if (_r_0.$ === "RNull") {
+    return true;
+  } else if (_r_0.$ === "RMissing") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $dec$($0, $1) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      const _r_0 = $1;
+      if (_s_0.$ === "SNat") {
+        if (_r_0.$ === "RNum") {
+          const _n_0 = _r_0["n"];
+          return new $C$Some$value(_n_0);
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SNatIn") {
+        if (_r_0.$ === "RNum") {
+          const _n_1 = _r_0["n"];
+          return new $C$Some$value(_n_1);
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SStr") {
+        if (_r_0.$ === "RStr") {
+          const _x_0 = _r_0["s"];
+          return new $C$Some$value(_x_0);
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        $1 = _r_0;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        $1 = _r_0;
+        continue;
+      } else if (_s_0.$ === "SOpt") {
+        const _i_0 = _s_0["inner"];
+        return $pick_m$(($nullish$(_r_0)), new $C$Some$value($N$None), ($opt_some$(($dec$(_i_0, _r_0)))));
+      } else if (_s_0.$ === "SOptional") {
+        const _i_1 = _s_0["inner"];
+        return $pick_m$(($is_missing$(_r_0)), new $C$Some$value($N$None), ($opt_some$(($dec$(_i_1, _r_0)))));
+      } else if (_s_0.$ === "SList") {
+        const _e_0 = _s_0["elem"];
+        if (_r_0.$ === "RNil") {
+          return new $C$Some$value($N$Nil);
+        } else if (_r_0.$ === "RCons") {
+          const _h_0 = _r_0["head"];
+          const _t_0 = _r_0["tail"];
+          return $lcons$(($dec$(_e_0, _h_0)), ($dec$(new $C$SList$elem(_e_0), _t_0)));
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SField") {
+        const _n_2 = _s_0["name"];
+        const _fs_0 = _s_0["s"];
+        const _rest_0 = _s_0["rest"];
+        return $both$(($dec$(_fs_0, ($lookup$(_n_2, _r_0)))), ($dec$(_rest_0, _r_0)));
+      } else if (_s_0.$ === "SEnd") {
+        return new $C$Some$value($N$Unit);
+      } else if (_s_0.$ === "SRule") {
+        const _s2_2 = _s_0["s"];
+        $0 = _s2_2;
+        $1 = _r_0;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_3 = _s_0["s"];
+        $0 = _s2_3;
+        $1 = _r_0;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        const _k_0 = _s_0["key"];
+        const _n_3 = _s_0["name"];
+        const _cs_0 = _s_0["s"];
+        const _rest_1 = _s_0["rest"];
+        return $pick_m$(($is_tag$(_k_0, _n_3, _r_0)), ($map_inl$(($dec$(_cs_0, ($drop_key$(_k_0, _r_0)))))), ($map_inr$(($dec$(_rest_1, _r_0)))));
+      } else if (_s_0.$ === "STrue") {
+        if (_r_0.$ === "RBool") {
+          const _b_0 = _r_0["b"];
+          return $true_unit$(_b_0);
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SBool") {
+        if (_r_0.$ === "RBool") {
+          const _b_1 = _r_0["b"];
+          return new $C$Some$value(_b_1);
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SEnum") {
+        if (_r_0.$ === "RStr") {
+          const _x_1 = _r_0["s"];
+          return new $C$Some$value(_x_1);
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "SVariant") {
+        const _n_4 = _s_0["name"];
+        const _vs_0 = _s_0["s"];
+        const _rest_2 = _s_0["rest"];
+        return $pick_m$(($is_missing$(($lookup$(_n_4, _r_0)))), ($map_inr$(($dec$(_rest_2, _r_0)))), ($map_inl$(($dec$(_vs_0, ($lookup$(_n_4, _r_0)))))));
+      } else if (_s_0.$ === "STuple") {
+        const _ts_0 = _s_0["s"];
+        const _rest_3 = _s_0["rest"];
+        if (_r_0.$ === "RCons") {
+          const _h_1 = _r_0["head"];
+          const _t_1 = _r_0["tail"];
+          return $both$(($dec$(_ts_0, _h_1)), ($dec$(_rest_3, _t_1)));
+        } else {
+          return $N$None;
+        }
+      } else if (_s_0.$ === "STEnd") {
+        if (_r_0.$ === "RNil") {
+          return new $C$Some$value($N$Unit);
+        } else {
+          return $N$None;
+        }
+      } else {
+        return $N$None;
+      }
+    }
+  }
+}
+
+function $opt_at$($0) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      if (_s_0.$ === "SOptional") {
+        return true;
+      } else if (_s_0.$ === "SOpt") {
+        const _i_1 = _s_0["inner"];
+        $0 = _i_1;
+        continue;
+      } else if (_s_0.$ === "SRule") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        continue;
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_2 = _s_0["s"];
+        $0 = _s2_2;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_3 = _s_0["s"];
+        $0 = _s2_3;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        const _rest_0 = _s_0["rest"];
+        $0 = _rest_0;
+        continue;
+      } else if (_s_0.$ === "SVariant") {
+        const _rest_1 = _s_0["rest"];
+        $0 = _rest_1;
+        continue;
+      } else {
+        return false;
+      }
+    }
+  }
+}
+
+function $nullable$($0) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      if (_s_0.$ === "SOpt") {
+        return true;
+      } else if (_s_0.$ === "SOptional") {
+        return true;
+      } else if (_s_0.$ === "SRule") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        continue;
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_2 = _s_0["s"];
+        $0 = _s2_2;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_3 = _s_0["s"];
+        $0 = _s2_3;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        const _rest_0 = _s_0["rest"];
+        $0 = _rest_0;
+        continue;
+      } else if (_s_0.$ === "SVariant") {
+        const _rest_1 = _s_0["rest"];
+        $0 = _rest_1;
+        continue;
+      } else {
+        return false;
+      }
+    }
+  }
+}
+
+function $no_key$($0, $1) {
+  for (;;) {
+    {
+      const _k_0 = $0;
+      const _s_0 = $1;
+      if (_s_0.$ === "SField") {
+        const _n_0 = _s_0["name"];
+        const _rest_0 = _s_0["rest"];
+        return $Bool$and$(($Bool$not$(($String$eq$(_n_0, _k_0)))), ($Bool$and$(($Bool$not$(($String$eq$(_k_0, _n_0)))), ($no_key$(_k_0, _rest_0)))));
+      } else if (_s_0.$ === "SVariant") {
+        const _n_1 = _s_0["name"];
+        const _rest_1 = _s_0["rest"];
+        return $Bool$and$(($Bool$not$(($String$eq$(_n_1, _k_0)))), ($Bool$and$(($Bool$not$(($String$eq$(_k_0, _n_1)))), ($no_key$(_k_0, _rest_1)))));
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_0 = _s_0["s"];
+        $0 = _k_0;
+        $1 = _s2_0;
+        continue;
+      } else if (_s_0.$ === "SRule") {
+        const _s2_1 = _s_0["s"];
+        $0 = _k_0;
+        $1 = _s2_1;
+        continue;
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_2 = _s_0["s"];
+        $0 = _k_0;
+        $1 = _s2_2;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_3 = _s_0["s"];
+        $0 = _k_0;
+        $1 = _s2_3;
+        continue;
+      } else if (_s_0.$ === "SOpt") {
+        const _i_0 = _s_0["inner"];
+        $0 = _k_0;
+        $1 = _i_0;
+        continue;
+      } else if (_s_0.$ === "SOptional") {
+        const _i_1 = _s_0["inner"];
+        $0 = _k_0;
+        $1 = _i_1;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        const _k2_0 = _s_0["key"];
+        const _cs2_0 = _s_0["s"];
+        const _rest2_0 = _s_0["rest"];
+        return $Bool$and$(($Bool$not$(($String$eq$(_k2_0, _k_0)))), ($Bool$and$(($Bool$not$(($String$eq$(_k_0, _k2_0)))), ($Bool$and$(($no_key$(_k_0, _cs2_0)), ($no_key$(_k_0, _rest2_0)))))));
+      } else {
+        return true;
+      }
+    }
+  }
+}
+
+function $fresh_f$(_n_0, _s_0) {
+  if (_s_0.$ === "SField") {
+    const _m_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    return $Bool$and$(($Bool$not$(($String$eq$(_m_0, _n_0)))), ($Bool$and$(($Bool$not$(($String$eq$(_n_0, _m_0)))), ($fresh_f$(_n_0, _rest_0)))));
+  } else if (_s_0.$ === "SEnd") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $fresh_v$(_n_0, _s_0) {
+  if (_s_0.$ === "SVariant") {
+    const _m_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    return $Bool$and$(($Bool$not$(($String$eq$(_m_0, _n_0)))), ($Bool$and$(($Bool$not$(($String$eq$(_n_0, _m_0)))), ($fresh_v$(_n_0, _rest_0)))));
+  } else if (_s_0.$ === "SVEnd") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $is_keyed$($0) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      if (_s_0.$ === "SField") {
+        const _rest_0 = _s_0["rest"];
+        $0 = _rest_0;
+        continue;
+      } else if (_s_0.$ === "SEnd") {
+        return true;
+      } else if (_s_0.$ === "SVariant") {
+        const _rest_1 = _s_0["rest"];
+        $0 = _rest_1;
+        continue;
+      } else if (_s_0.$ === "SVEnd") {
+        return true;
+      } else {
+        return false;
+      }
+    }
+  }
+}
+
+function $fresh_t$(_k_0, _n_0, _s_0) {
+  if (_s_0.$ === "STagged") {
+    const _k2_0 = _s_0["key"];
+    const _m_0 = _s_0["name"];
+    const _rest_0 = _s_0["rest"];
+    return $Bool$and$(($String$eq$(_k2_0, _k_0)), ($Bool$and$(($Bool$not$(($String$eq$(_m_0, _n_0)))), ($fresh_t$(_k_0, _n_0, _rest_0)))));
+  } else if (_s_0.$ === "STagEnd") {
+    const _k2_1 = _s_0["key"];
+    return $String$eq$(_k2_1, _k_0);
+  } else {
+    return false;
+  }
+}
+
+function $wf$(_s_0) {
+  if (_s_0.$ === "SOpt") {
+    const _i_0 = _s_0["inner"];
+    return $Bool$and$(($Bool$not$(($nullable$(_i_0)))), ($wf$(_i_0)));
+  } else if (_s_0.$ === "SOptional") {
+    const _i_1 = _s_0["inner"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_i_1)))), ($wf$(_i_1)));
+  } else if (_s_0.$ === "SList") {
+    const _e_0 = _s_0["elem"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_e_0)))), ($wf$(_e_0)));
+  } else if (_s_0.$ === "SListLen") {
+    const _s2_0 = _s_0["s"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_s2_0)))), ($wf$(_s2_0)));
+  } else if (_s_0.$ === "SStrLen") {
+    const _s2_1 = _s_0["s"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_s2_1)))), ($wf$(_s2_1)));
+  } else if (_s_0.$ === "SField") {
+    const _n_0 = _s_0["name"];
+    const _fs_0 = _s_0["s"];
+    const _rest_0 = _s_0["rest"];
+    return $Bool$and$(($wf$(_fs_0)), ($Bool$and$(($fresh_f$(_n_0, _rest_0)), ($wf$(_rest_0)))));
+  } else if (_s_0.$ === "SRule") {
+    const _s2_2 = _s_0["s"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_s2_2)))), ($wf$(_s2_2)));
+  } else if (_s_0.$ === "SStrict") {
+    const _s2_3 = _s_0["s"];
+    return $Bool$and$(($is_keyed$(_s2_3)), ($Bool$and$(($Bool$not$(($opt_at$(_s2_3)))), ($wf$(_s2_3)))));
+  } else if (_s_0.$ === "STagged") {
+    const _k_0 = _s_0["key"];
+    const _n_1 = _s_0["name"];
+    const _cs_0 = _s_0["s"];
+    const _rest_1 = _s_0["rest"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_cs_0)))), ($Bool$and$(($wf$(_cs_0)), ($Bool$and$(($no_key$(_k_0, _cs_0)), ($Bool$and$(($fresh_t$(_k_0, _n_1, _rest_1)), ($wf$(_rest_1)))))))));
+  } else if (_s_0.$ === "SVariant") {
+    const _n_2 = _s_0["name"];
+    const _vs_0 = _s_0["s"];
+    const _rest_2 = _s_0["rest"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_vs_0)))), ($Bool$and$(($wf$(_vs_0)), ($Bool$and$(($fresh_v$(_n_2, _rest_2)), ($wf$(_rest_2)))))));
+  } else if (_s_0.$ === "STuple") {
+    const _ts_0 = _s_0["s"];
+    const _rest_3 = _s_0["rest"];
+    return $Bool$and$(($Bool$not$(($opt_at$(_ts_0)))), ($Bool$and$(($wf$(_ts_0)), ($Bool$and$(($Bool$not$(($opt_at$(_rest_3)))), ($wf$(_rest_3)))))));
+  } else {
+    return true;
+  }
+}
+
+function $names_ok$($0, $1) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      const _x_0 = $1;
+      if (_s_0.$ === "SOpt") {
+        const _i_0 = _s_0["inner"];
+        if (_x_0.$ === "None") {
+          return true;
+        } else {
+          const _v_0 = _x_0["value"];
+          $0 = _i_0;
+          $1 = _v_0;
+          continue;
+        }
+      } else if (_s_0.$ === "SList") {
+        const _e_0 = _s_0["elem"];
+        if (_x_0.$ === "Nil") {
+          return true;
+        } else {
+          const _h_0 = _x_0["head"];
+          const _t_0 = _x_0["tail"];
+          return $Bool$and$(($names_ok$(_e_0, _h_0)), ($names_ok$(new $C$SList$elem(_e_0), _t_0)));
+        }
+      } else if (_s_0.$ === "SField") {
+        const _fs_0 = _s_0["s"];
+        const _rest_0 = _s_0["rest"];
+        const _a_0 = _x_0["a"];
+        const _b_0 = _x_0["b"];
+        return $Bool$and$(($names_ok$(_fs_0, _a_0)), ($names_ok$(_rest_0, _b_0)));
+      } else if (_s_0.$ === "SRule") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SStrLen") {
+        const _s2_2 = _s_0["s"];
+        $0 = _s2_2;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SListLen") {
+        const _s2_3 = _s_0["s"];
+        $0 = _s2_3;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SOptional") {
+        const _i_1 = _s_0["inner"];
+        if (_x_0.$ === "None") {
+          return true;
+        } else {
+          const _v_1 = _x_0["value"];
+          $0 = _i_1;
+          $1 = _v_1;
+          continue;
+        }
+      } else if (_s_0.$ === "STagged") {
+        const _cs_0 = _s_0["s"];
+        const _rest_1 = _s_0["rest"];
+        if (_x_0.$ === "Inl") {
+          const _a_1 = _x_0["value"];
+          $0 = _cs_0;
+          $1 = _a_1;
+          continue;
+        } else {
+          const _b_1 = _x_0["value"];
+          $0 = _rest_1;
+          $1 = _b_1;
+          continue;
+        }
+      } else if (_s_0.$ === "SEnum") {
+        const _names_0 = _s_0["names"];
+        return $in_names$(_x_0, _names_0);
+      } else if (_s_0.$ === "SVariant") {
+        const _vs_0 = _s_0["s"];
+        const _rest_2 = _s_0["rest"];
+        if (_x_0.$ === "Inl") {
+          const _a_2 = _x_0["value"];
+          $0 = _vs_0;
+          $1 = _a_2;
+          continue;
+        } else {
+          const _b_2 = _x_0["value"];
+          $0 = _rest_2;
+          $1 = _b_2;
+          continue;
+        }
+      } else if (_s_0.$ === "STuple") {
+        const _ts_0 = _s_0["s"];
+        const _rest_3 = _s_0["rest"];
+        const _a_3 = _x_0["a"];
+        const _b_3 = _x_0["b"];
+        return $Bool$and$(($names_ok$(_ts_0, _a_3)), ($names_ok$(_rest_3, _b_3)));
+      } else {
+        return true;
+      }
+    }
+  }
+}
+
+function $bounds_ok$($0, $1) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      const _x_0 = $1;
+      if (_s_0.$ === "SOpt") {
+        const _i_0 = _s_0["inner"];
+        if (_x_0.$ === "None") {
+          return true;
+        } else {
+          const _v_0 = _x_0["value"];
+          $0 = _i_0;
+          $1 = _v_0;
+          continue;
+        }
+      } else if (_s_0.$ === "SList") {
+        const _e_0 = _s_0["elem"];
+        if (_x_0.$ === "Nil") {
+          return true;
+        } else {
+          const _h_0 = _x_0["head"];
+          const _t_0 = _x_0["tail"];
+          return $Bool$and$(($bounds_ok$(_e_0, _h_0)), ($bounds_ok$(new $C$SList$elem(_e_0), _t_0)));
+        }
+      } else if (_s_0.$ === "SField") {
+        const _fs_0 = _s_0["s"];
+        const _rest_0 = _s_0["rest"];
+        const _a_0 = _x_0["a"];
+        const _b_0 = _x_0["b"];
+        return $Bool$and$(($bounds_ok$(_fs_0, _a_0)), ($bounds_ok$(_rest_0, _b_0)));
+      } else if (_s_0.$ === "SRule") {
+        const _s2_0 = _s_0["s"];
+        $0 = _s2_0;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_1 = _s_0["s"];
+        $0 = _s2_1;
+        $1 = _x_0;
+        continue;
+      } else if (_s_0.$ === "STagged") {
+        const _cs_0 = _s_0["s"];
+        const _rest_1 = _s_0["rest"];
+        if (_x_0.$ === "Inl") {
+          const _a_1 = _x_0["value"];
+          $0 = _cs_0;
+          $1 = _a_1;
+          continue;
+        } else {
+          const _b_1 = _x_0["value"];
+          $0 = _rest_1;
+          $1 = _b_1;
+          continue;
+        }
+      } else if (_s_0.$ === "SNatIn") {
+        const _lo_0 = _s_0["lo"];
+        const _hi_0 = _s_0["hi"];
+        return $num_ok$(_lo_0, _hi_0, _x_0);
+      } else if (_s_0.$ === "SStrLen") {
+        const _lo_1 = _s_0["lo"];
+        const _hi_1 = _s_0["hi"];
+        const _s2_2 = _s_0["s"];
+        return $Bool$and$(($bounds_ok$(_s2_2, _x_0)), ($len_ok$(_lo_1, _hi_1, ($enc$(_s2_2, _x_0)))));
+      } else if (_s_0.$ === "SListLen") {
+        const _lo_2 = _s_0["lo"];
+        const _hi_2 = _s_0["hi"];
+        const _s2_3 = _s_0["s"];
+        return $Bool$and$(($bounds_ok$(_s2_3, _x_0)), ($list_len_ok$(_lo_2, _hi_2, ($enc$(_s2_3, _x_0)))));
+      } else if (_s_0.$ === "SOptional") {
+        const _i_1 = _s_0["inner"];
+        if (_x_0.$ === "None") {
+          return true;
+        } else {
+          const _v_1 = _x_0["value"];
+          $0 = _i_1;
+          $1 = _v_1;
+          continue;
+        }
+      } else if (_s_0.$ === "SVariant") {
+        const _vs_0 = _s_0["s"];
+        const _rest_2 = _s_0["rest"];
+        if (_x_0.$ === "Inl") {
+          const _a_2 = _x_0["value"];
+          $0 = _vs_0;
+          $1 = _a_2;
+          continue;
+        } else {
+          const _b_2 = _x_0["value"];
+          $0 = _rest_2;
+          $1 = _b_2;
+          continue;
+        }
+      } else if (_s_0.$ === "STuple") {
+        const _ts_0 = _s_0["s"];
+        const _rest_3 = _s_0["rest"];
+        const _a_3 = _x_0["a"];
+        const _b_3 = _x_0["b"];
+        return $Bool$and$(($bounds_ok$(_ts_0, _a_3)), ($bounds_ok$(_rest_3, _b_3)));
+      } else {
+        return true;
+      }
+    }
+  }
+}
+
+function $String$eq$(_a_0, _b_0) {
+  return $Cmp$is_eq$(($String$order$(_a_0, _b_0)));
+}
+
+function $Bool$and$(_a_0, _b_0) {
+  if (!_a_0) {
+    return false;
+  } else {
+    return _b_0;
+  }
+}
+
+function $Nat$is_le$(_a_0, _b_0) {
+  return $Cmp$is_le$(cmp_new(_a_0, _b_0));
+}
+
+function $Bool$not$(_b_0) {
+  if (!_b_0) {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $Nat$is_eq$(_a_0, _b_0) {
+  return $Cmp$is_eq$(cmp_new(_a_0, _b_0));
+}
+
+function $check$1260$($0, $1, $2) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      const _r_0 = $1;
+      const _prev_0 = $2;
+      if (_s_0.$ === "SNat") {
+        if (_r_0.$ === "RNum") {
+          return $N$None;
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotNat)));
+        }
+      } else if (_s_0.$ === "SStr") {
+        if (_r_0.$ === "RStr") {
+          return $N$None;
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotString)));
+        }
+      } else if (_s_0.$ === "SNatIn") {
+        const _lo_0 = _s_0["lo"];
+        const _hi_0 = _s_0["hi"];
+        if (_r_0.$ === "RNum") {
+          const _n_1 = _r_0["n"];
+          return $nat_in$(_lo_0, _hi_0, new $C$RNum$n(_n_1));
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotNat)));
+        }
+      } else if (_s_0.$ === "SStrLen") {
+        const _lo_1 = _s_0["lo"];
+        const _hi_1 = _s_0["hi"];
+        const _s2_0 = _s_0["s"];
+        return $first$(($check$1260$(_s2_0, _r_0, _prev_0)), ($len_err$(_lo_1, _hi_1, _r_0)));
+      } else if (_s_0.$ === "SListLen") {
+        const _lo_2 = _s_0["lo"];
+        const _hi_2 = _s_0["hi"];
+        const _s2_1 = _s_0["s"];
+        return $first$(($count_err$(_lo_2, _hi_2, _r_0)), ($check$1260$(_s2_1, _r_0, $N$None)));
+      } else if (_s_0.$ === "SOpt") {
+        const _inner_0 = _s_0["inner"];
+        if (_r_0.$ === "RNull") {
+          return $N$None;
+        } else {
+          $0 = _inner_0;
+          $1 = _r_0;
+          $2 = $N$None;
+          continue;
+        }
+      } else if (_s_0.$ === "SOptional") {
+        const _inner_1 = _s_0["inner"];
+        if (_r_0.$ === "RMissing") {
+          return $N$None;
+        } else {
+          $0 = _inner_1;
+          $1 = _r_0;
+          $2 = $N$None;
+          continue;
+        }
+      } else if (_s_0.$ === "SList") {
+        const _e_0 = _s_0["elem"];
+        if (_r_0.$ === "RNil") {
+          return $N$None;
+        } else if (_r_0.$ === "RCons") {
+          const _h_0 = _r_0["head"];
+          const _t_0 = _r_0["tail"];
+          return $first$(($under$(new $C$AtIndex$i(0), ($check$1260$(_e_0, _h_0, $N$None)))), ($later_l$(($check$1260$(new $C$SList$elem(_e_0), _t_0, $N$None)))));
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotList)));
+        }
+      } else if (_s_0.$ === "SField") {
+        const _name_0 = _s_0["name"];
+        const _fs_0 = _s_0["s"];
+        const _rest_0 = _s_0["rest"];
+        if (_r_0.$ === "REnd") {
+          return $first$(($under$(new $C$AtField$skip$name(0, _name_0), ($check$1260$(_fs_0, $N$RMissing, $N$None)))), ($later_f$(($check$1260$(_rest_0, $N$REnd, $N$None)))));
+        } else if (_r_0.$ === "RKey") {
+          const _k_0 = _r_0["key"];
+          const _v_0 = _r_0["val"];
+          const _o_0 = _r_0["rest"];
+          return $first$(($key_err$(($key_once$(_name_0, new $C$RKey$key$val$rest(_k_0, _v_0, _o_0))), _name_0)), ($first$(($under$(new $C$AtField$skip$name(0, _name_0), ($check$1260$(_fs_0, ($lookup$(_name_0, new $C$RKey$key$val$rest(_k_0, _v_0, _o_0))), $N$None)))), ($later_f$(($check$1260$(_rest_0, new $C$RKey$key$val$rest(_k_0, _v_0, _o_0), $N$None)))))));
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotObject)));
+        }
+      } else if (_s_0.$ === "SEnd") {
+        if (_r_0.$ === "REnd") {
+          return $N$None;
+        } else if (_r_0.$ === "RKey") {
+          return $N$None;
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotObject)));
+        }
+      } else if (_s_0.$ === "SRule") {
+        const _s2_2 = _s_0["s"];
+        const _tag_0 = _s_0["tag"];
+        return $first$(($check$1260$(_s2_2, _r_0, _prev_0)), ($no_rule$(_tag_0, _r_0)));
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_3 = _s_0["s"];
+        return $first$(($check$1260$(_s2_3, _r_0, _prev_0)), ($extra_err$(($key_names$(_s2_3)), _r_0)));
+      } else if (_s_0.$ === "STagged") {
+        const _k_2 = _s_0["key"];
+        const _n_2 = _s_0["name"];
+        const _cs_0 = _s_0["s"];
+        const _rest_1 = _s_0["rest"];
+        return $pick_err$(($is_tag$(_k_2, _n_2, _r_0)), ($first$(($key_err$(($key_once$(_k_2, _r_0)), _k_2)), ($check$1260$(_cs_0, ($drop_key$(_k_2, _r_0)), $N$None)))), ($check$1260$(_rest_1, _r_0, $N$None)));
+      } else if (_s_0.$ === "STagEnd") {
+        const _k_3 = _s_0["key"];
+        return $tag_err$(_k_3, _r_0);
+      } else if (_s_0.$ === "SBool") {
+        if (_r_0.$ === "RBool") {
+          return $N$None;
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotBool)));
+        }
+      } else if (_s_0.$ === "STrue") {
+        if (_r_0.$ === "RBool") {
+          const _b_1 = _r_0["b"];
+          return $true_err$(_b_1);
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotTrue)));
+        }
+      } else if (_s_0.$ === "SEnum") {
+        const _names_0 = _s_0["names"];
+        if (_r_0.$ === "RStr") {
+          const _x_1 = _r_0["s"];
+          return $enum_err$(($in_names$(_x_1, _names_0)));
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotOneOf)));
+        }
+      } else if (_s_0.$ === "SVariant") {
+        const _name_1 = _s_0["name"];
+        const _vs_0 = _s_0["s"];
+        const _rest_2 = _s_0["rest"];
+        if (_r_0.$ === "REnd") {
+          return $later_f$(($check$1260$(_rest_2, $N$REnd, $N$None)));
+        } else if (_r_0.$ === "RKey") {
+          const _k_4 = _r_0["key"];
+          const _v_2 = _r_0["val"];
+          const _o_2 = _r_0["rest"];
+          return $pick_err$(($is_missing$(($lookup$(_name_1, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))))), ($later_f$(($check$1260$(_rest_2, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2), $N$None)))), ($first$(($key_err$(($key_once$(_name_1, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))), _name_1)), ($first$(($under$(new $C$AtField$skip$name(0, _name_1), ($check$1260$(_vs_0, ($lookup$(_name_1, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))), $N$None)))), ($later_f$(($dup_err$(_rest_2, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))))))))));
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotObject)));
+        }
+      } else if (_s_0.$ === "SVEnd") {
+        if (_r_0.$ === "REnd") {
+          return $here$($N$NoVariant);
+        } else if (_r_0.$ === "RKey") {
+          return $here$($N$NoVariant);
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotObject)));
+        }
+      } else if (_s_0.$ === "STuple") {
+        const _ts_0 = _s_0["s"];
+        const _rest_3 = _s_0["rest"];
+        if (_r_0.$ === "RCons") {
+          const _h_1 = _r_0["head"];
+          const _t_1 = _r_0["tail"];
+          return $first$(($under$(new $C$AtIndex$i(0), ($check$1260$(_ts_0, _h_1, $N$None)))), ($later_l$(($check$1260$(_rest_3, _t_1, $N$None)))));
+        } else if (_r_0.$ === "RNil") {
+          return $here$($N$TooShort);
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotList)));
+        }
+      } else {
+        if (_r_0.$ === "RNil") {
+          return $N$None;
+        } else if (_r_0.$ === "RCons") {
+          return $here$($N$TooLong);
+        } else {
+          return $here$(($missing_or$(_r_0, $N$NotList)));
+        }
+      }
+    }
+  }
+}
+
+function $conforms$1260$($0, $1, $2) {
+  for (;;) {
+    {
+      const _s_0 = $0;
+      const _r_0 = $1;
+      const _prev_0 = $2;
+      if (_s_0.$ === "SNat") {
+        if (_r_0.$ === "RNum") {
+          return true;
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SNatIn") {
+        const _lo_0 = _s_0["lo"];
+        const _hi_0 = _s_0["hi"];
+        if (_r_0.$ === "RNum") {
+          const _n_1 = _r_0["n"];
+          return $num_ok$(_lo_0, _hi_0, _n_1);
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SStr") {
+        if (_r_0.$ === "RStr") {
+          return true;
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SStrLen") {
+        const _lo_1 = _s_0["lo"];
+        const _hi_1 = _s_0["hi"];
+        const _s2_0 = _s_0["s"];
+        return $Bool$and$(($conforms$1260$(_s2_0, _r_0, _prev_0)), ($len_ok$(_lo_1, _hi_1, _r_0)));
+      } else if (_s_0.$ === "SListLen") {
+        const _lo_2 = _s_0["lo"];
+        const _hi_2 = _s_0["hi"];
+        const _s2_1 = _s_0["s"];
+        return $Bool$and$(($list_len_ok$(_lo_2, _hi_2, _r_0)), ($conforms$1260$(_s2_1, _r_0, $N$None)));
+      } else if (_s_0.$ === "SOpt") {
+        const _inner_0 = _s_0["inner"];
+        if (_r_0.$ === "RNull") {
+          return true;
+        } else {
+          $0 = _inner_0;
+          $1 = _r_0;
+          $2 = $N$None;
+          continue;
+        }
+      } else if (_s_0.$ === "SOptional") {
+        const _inner_1 = _s_0["inner"];
+        const _x_1 = ($is_missing$(_r_0));
+        const _x_2 = ($conforms$1260$(_inner_1, _r_0, $N$None));
+        return (_x_1 || _x_2);
+      } else if (_s_0.$ === "SList") {
+        const _e_0 = _s_0["elem"];
+        if (_r_0.$ === "RNil") {
+          return true;
+        } else if (_r_0.$ === "RCons") {
+          const _h_0 = _r_0["head"];
+          const _t_0 = _r_0["tail"];
+          return $Bool$and$(($conforms$1260$(_e_0, _h_0, $N$None)), ($conforms$1260$(new $C$SList$elem(_e_0), _t_0, $N$None)));
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SField") {
+        const _name_0 = _s_0["name"];
+        const _fs_0 = _s_0["s"];
+        const _rest_0 = _s_0["rest"];
+        if (_r_0.$ === "REnd") {
+          return $Bool$and$(($conforms$1260$(_fs_0, $N$RMissing, $N$None)), ($conforms$1260$(_rest_0, $N$REnd, $N$None)));
+        } else if (_r_0.$ === "RKey") {
+          const _k_0 = _r_0["key"];
+          const _v_0 = _r_0["val"];
+          const _o_0 = _r_0["rest"];
+          return $Bool$and$(($key_once$(_name_0, new $C$RKey$key$val$rest(_k_0, _v_0, _o_0))), ($Bool$and$(($conforms$1260$(_fs_0, ($lookup$(_name_0, new $C$RKey$key$val$rest(_k_0, _v_0, _o_0))), $N$None)), ($conforms$1260$(_rest_0, new $C$RKey$key$val$rest(_k_0, _v_0, _o_0), $N$None)))));
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SEnd") {
+        if (_r_0.$ === "REnd") {
+          return true;
+        } else if (_r_0.$ === "RKey") {
+          return true;
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SRule") {
+        const _s2_2 = _s_0["s"];
+        const _tag_0 = _s_0["tag"];
+        return $Bool$and$(($conforms$1260$(_s2_2, _r_0, _prev_0)), ($Maybe$is_none$(($no_rule$(_tag_0, _r_0)))));
+      } else if (_s_0.$ === "SStrict") {
+        const _s2_3 = _s_0["s"];
+        return $Bool$and$(($conforms$1260$(_s2_3, _r_0, _prev_0)), ($no_extra$(($key_names$(_s2_3)), _r_0)));
+      } else if (_s_0.$ === "STagged") {
+        const _k_2 = _s_0["key"];
+        const _n_2 = _s_0["name"];
+        const _cs_0 = _s_0["s"];
+        const _rest_1 = _s_0["rest"];
+        return $pick_bool$(($is_tag$(_k_2, _n_2, _r_0)), ($Bool$and$(($key_once$(_k_2, _r_0)), ($conforms$1260$(_cs_0, ($drop_key$(_k_2, _r_0)), $N$None)))), ($conforms$1260$(_rest_1, _r_0, $N$None)));
+      } else if (_s_0.$ === "STagEnd") {
+        return false;
+      } else if (_s_0.$ === "SBool") {
+        if (_r_0.$ === "RBool") {
+          return true;
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "STrue") {
+        if (_r_0.$ === "RBool") {
+          const _b_1 = _r_0["b"];
+          return _b_1;
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SEnum") {
+        const _names_0 = _s_0["names"];
+        if (_r_0.$ === "RStr") {
+          const _x_3 = _r_0["s"];
+          return $in_names$(_x_3, _names_0);
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "SVariant") {
+        const _name_1 = _s_0["name"];
+        const _vs_0 = _s_0["s"];
+        const _rest_2 = _s_0["rest"];
+        if (_r_0.$ === "REnd") {
+          $0 = _rest_2;
+          $1 = $N$REnd;
+          $2 = $N$None;
+          continue;
+        } else if (_r_0.$ === "RKey") {
+          const _k_4 = _r_0["key"];
+          const _v_2 = _r_0["val"];
+          const _o_2 = _r_0["rest"];
+          return $pick_bool$(($is_missing$(($lookup$(_name_1, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))))), ($conforms$1260$(_rest_2, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2), $N$None)), ($Bool$and$(($key_once$(_name_1, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))), ($Bool$and$(($conforms$1260$(_vs_0, ($lookup$(_name_1, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))), $N$None)), ($none_present$(_rest_2, new $C$RKey$key$val$rest(_k_4, _v_2, _o_2))))))));
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "STuple") {
+        const _ts_0 = _s_0["s"];
+        const _rest_3 = _s_0["rest"];
+        if (_r_0.$ === "RCons") {
+          const _h_1 = _r_0["head"];
+          const _t_1 = _r_0["tail"];
+          return $Bool$and$(($conforms$1260$(_ts_0, _h_1, $N$None)), ($conforms$1260$(_rest_3, _t_1, $N$None)));
+        } else {
+          return false;
+        }
+      } else if (_s_0.$ === "STEnd") {
+        if (_r_0.$ === "RNil") {
+          return true;
+        } else {
+          return false;
+        }
+      } else {
+        return false;
+      }
+    }
+  }
+}
+
+function $Empty$absurd$(_e_0) {
+  throw "bend: runtime fail-stop";
+}
+
+function $Cmp$is_eq$(_c_0) {
+  if (_c_0.$ === "EQ") {
+    return true;
+  } else {
+    return false;
+  }
+}
+
+function $String$order$(_a_0, _b_0) {
+  return $Pair$snd$(($String$cmp$(_a_0, _b_0)));
+}
+
+function $Cmp$is_le$(_c_0) {
+  if (_c_0.$ === "GT") {
+    return false;
+  } else {
+    return true;
+  }
+}
+
+function $Maybe$is_none$(_m_0) {
+  return $Bool$not$(($Maybe$is_some$(_m_0)));
+}
+
+function $Pair$snd$(_p_0) {
+  const _b_0 = _p_0["snd"];
+  return _b_0;
+}
+
+function $String$cmp$(_a_0, _b_0) {
+  if (_a_0 === "") {
+    if (_b_0 === "") {
+      return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd("", ""), $N$EQ);
+    } else {
+      const _h_0 = (_b_0.codePointAt(0) > 0xFFFF ? _b_0.slice(0, 2) : _b_0[0]);
+      const _t_0 = (_b_0.codePointAt(0) > 0xFFFF ? _b_0.slice(2) : _b_0.slice(1));
+      return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd("", (_h_0 + _t_0)), $N$LT);
+    }
+  } else {
+    const _h_1 = (_a_0.codePointAt(0) > 0xFFFF ? _a_0.slice(0, 2) : _a_0[0]);
+    const _t_1 = (_a_0.codePointAt(0) > 0xFFFF ? _a_0.slice(2) : _a_0.slice(1));
+    if (_b_0 === "") {
+      return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd((_h_1 + _t_1), ""), $N$GT);
+    } else {
+      const _h2_0 = (_b_0.codePointAt(0) > 0xFFFF ? _b_0.slice(0, 2) : _b_0[0]);
+      const _t2_0 = (_b_0.codePointAt(0) > 0xFFFF ? _b_0.slice(2) : _b_0.slice(1));
+      return $String$cmp$fin$(_t_1, _t2_0, ($Char$cmp$(_h_1, _h2_0)));
+    }
+  }
+}
+
+function $Maybe$is_some$(_m_0) {
+  if (_m_0.$ === "None") {
+    return false;
+  } else {
+    return true;
+  }
+}
+
+function $String$cmp$fin$(_t1_0, _t2_0, _hc_0) {
+  const _t_0 = _hc_0["fst"];
+  const _h1b_0 = _t_0["fst"];
+  const _h2b_0 = _t_0["snd"];
+  const _t_1 = _hc_0["snd"];
+  if (_t_1.$ === "LT") {
+    return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd((_h1b_0 + _t1_0), (_h2b_0 + _t2_0)), $N$LT);
+  } else if (_t_1.$ === "EQ") {
+    return $String$cmp$rec$(_h1b_0, _h2b_0, ($String$cmp$(_t1_0, _t2_0)));
+  } else {
+    return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd((_h1b_0 + _t1_0), (_h2b_0 + _t2_0)), $N$GT);
+  }
+}
+
+function $Char$cmp$(_a_0, _b_0) {
+  const _x_0 = _a_0.codePointAt(0);
+  const _x_1 = _b_0.codePointAt(0);
+  return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd(_a_0, _b_0), cmp_new(_x_0, _x_1));
+}
+
+function $String$cmp$rec$(_h1b_0, _h2b_0, _rr_0) {
+  const _t_0 = _rr_0["fst"];
+  const _t1b_0 = _t_0["fst"];
+  const _t2b_0 = _t_0["snd"];
+  const _r_0 = _rr_0["snd"];
+  return new $C$Tuple$fst$snd(new $C$Tuple$fst$snd((_h1b_0 + _t1b_0), (_h2b_0 + _t2b_0)), _r_0);
+}
+
+function $0m0(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "RNum": at = at[key] = {...v, "n": nat_host(v["n"])}; return top[0];
+      case "RBool": at[key] = v; return top[0];
+      case "RNull": at[key] = v; return top[0];
+      case "RStr": at[key] = v; return top[0];
+      case "RBad": at[key] = v; return top[0];
+      case "RTooBig": at[key] = v; return top[0];
+      case "RMissing": at[key] = v; return top[0];
+      case "RNil": at[key] = v; return top[0];
+      case "RCons": at = at[key] = {...v, "head": $0m0(v["head"])}; key = "tail"; v = v[key]; continue;
+      case "REnd": at[key] = v; return top[0];
+      case "RKey": at = at[key] = {...v, "val": $0m0(v["val"])}; key = "rest"; v = v[key]; continue;
+      default: throw "bend: Raw has no tag " + v?.$ + " (its tags: RNum, RBool, RNull, RStr, RBad, RTooBig, RMissing, RNil, RCons, REnd, RKey); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m1(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "RNum": at = at[key] = {...v, "n": BigInt(v["n"])}; return top[0];
+      case "RBool": at[key] = v; return top[0];
+      case "RNull": at[key] = v; return top[0];
+      case "RStr": at[key] = v; return top[0];
+      case "RBad": at[key] = v; return top[0];
+      case "RTooBig": at[key] = v; return top[0];
+      case "RMissing": at[key] = v; return top[0];
+      case "RNil": at[key] = v; return top[0];
+      case "RCons": at = at[key] = {...v, "head": $0m1(v["head"])}; key = "tail"; v = v[key]; continue;
+      case "REnd": at[key] = v; return top[0];
+      case "RKey": at = at[key] = {...v, "val": $0m1(v["val"])}; key = "rest"; v = v[key]; continue;
+      default: throw "bend: Raw has no tag " + v?.$ + " (its tags: RNum, RBool, RNull, RStr, RBad, RTooBig, RMissing, RNil, RCons, REnd, RKey); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m2(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "SNat": at[key] = v; return top[0];
+      case "SNatIn": at = at[key] = {...v, "lo": nat_host(v["lo"]), "hi": nat_host(v["hi"])}; return top[0];
+      case "SStr": at[key] = v; return top[0];
+      case "SStrLen": at = at[key] = {...v, "lo": nat_host(v["lo"]), "hi": nat_host(v["hi"])}; key = "s"; v = v[key]; continue;
+      case "SOpt": at = at[key] = {...v}; key = "inner"; v = v[key]; continue;
+      case "SList": at = at[key] = {...v}; key = "elem"; v = v[key]; continue;
+      case "SField": at = at[key] = {...v, "s": $0m2(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "SEnd": at[key] = v; return top[0];
+      case "SRule": at = at[key] = {...v, "tag": nat_host(v["tag"])}; key = "s"; v = v[key]; continue;
+      case "SStrict": at = at[key] = {...v}; key = "s"; v = v[key]; continue;
+      case "STagged": at = at[key] = {...v, "s": $0m2(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "STagEnd": at[key] = v; return top[0];
+      case "SBool": at[key] = v; return top[0];
+      case "STrue": at[key] = v; return top[0];
+      case "SEnum": at[key] = v; return top[0];
+      case "SVariant": at = at[key] = {...v, "s": $0m2(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "SVEnd": at[key] = v; return top[0];
+      case "STuple": at = at[key] = {...v, "s": $0m2(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "STEnd": at[key] = v; return top[0];
+      case "SOptional": at = at[key] = {...v}; key = "inner"; v = v[key]; continue;
+      case "SListLen": at = at[key] = {...v, "lo": nat_host(v["lo"]), "hi": nat_host(v["hi"])}; key = "s"; v = v[key]; continue;
+      default: throw "bend: Schema has no tag " + v?.$ + " (its tags: SNat, SNatIn, SStr, SStrLen, SOpt, SList, SField, SEnd, SRule, SStrict, STagged, STagEnd, SBool, STrue, SEnum, SVariant, SVEnd, STuple, STEnd, SOptional, SListLen); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m3(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "SNat": at[key] = v; return top[0];
+      case "SNatIn": at = at[key] = {...v, "lo": BigInt(v["lo"]), "hi": BigInt(v["hi"])}; return top[0];
+      case "SStr": at[key] = v; return top[0];
+      case "SStrLen": at = at[key] = {...v, "lo": BigInt(v["lo"]), "hi": BigInt(v["hi"])}; key = "s"; v = v[key]; continue;
+      case "SOpt": at = at[key] = {...v}; key = "inner"; v = v[key]; continue;
+      case "SList": at = at[key] = {...v}; key = "elem"; v = v[key]; continue;
+      case "SField": at = at[key] = {...v, "s": $0m3(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "SEnd": at[key] = v; return top[0];
+      case "SRule": at = at[key] = {...v, "tag": BigInt(v["tag"])}; key = "s"; v = v[key]; continue;
+      case "SStrict": at = at[key] = {...v}; key = "s"; v = v[key]; continue;
+      case "STagged": at = at[key] = {...v, "s": $0m3(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "STagEnd": at[key] = v; return top[0];
+      case "SBool": at[key] = v; return top[0];
+      case "STrue": at[key] = v; return top[0];
+      case "SEnum": at[key] = v; return top[0];
+      case "SVariant": at = at[key] = {...v, "s": $0m3(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "SVEnd": at[key] = v; return top[0];
+      case "STuple": at = at[key] = {...v, "s": $0m3(v["s"])}; key = "rest"; v = v[key]; continue;
+      case "STEnd": at[key] = v; return top[0];
+      case "SOptional": at = at[key] = {...v}; key = "inner"; v = v[key]; continue;
+      case "SListLen": at = at[key] = {...v, "lo": BigInt(v["lo"]), "hi": BigInt(v["hi"])}; key = "s"; v = v[key]; continue;
+      default: throw "bend: Schema has no tag " + v?.$ + " (its tags: SNat, SNatIn, SStr, SStrLen, SOpt, SList, SField, SEnd, SRule, SStrict, STagged, STagEnd, SBool, STrue, SEnum, SVariant, SVEnd, STuple, STEnd, SOptional, SListLen); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m4(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Missing": at[key] = v; return top[0];
+      case "NotNat": at[key] = v; return top[0];
+      case "NotString": at[key] = v; return top[0];
+      case "NotBool": at[key] = v; return top[0];
+      case "NotList": at[key] = v; return top[0];
+      case "NotObject": at[key] = v; return top[0];
+      case "NoElements": at[key] = v; return top[0];
+      case "OpenNotLast": at[key] = v; return top[0];
+      case "LastNotOpen": at[key] = v; return top[0];
+      case "NotIncreasing": at = at[key] = {...v, "prev": nat_host(v["prev"]), "got": nat_host(v["got"])}; return top[0];
+      case "NotTrue": at[key] = v; return top[0];
+      case "NotOneOf": at[key] = v; return top[0];
+      case "NoVariant": at[key] = v; return top[0];
+      case "TwoVariants": at[key] = v; return top[0];
+      case "TooShort": at[key] = v; return top[0];
+      case "TooLong": at[key] = v; return top[0];
+      case "LengthNotIn": at = at[key] = {...v, "lo": nat_host(v["lo"]), "hi": nat_host(v["hi"])}; return top[0];
+      case "NotIn": at = at[key] = {...v, "lo": nat_host(v["lo"]), "hi": nat_host(v["hi"])}; return top[0];
+      case "UnknownKey": at[key] = v; return top[0];
+      case "RepeatedKey": at[key] = v; return top[0];
+      case "TooLarge": at[key] = v; return top[0];
+      case "CountNotIn": at = at[key] = {...v, "lo": nat_host(v["lo"]), "hi": nat_host(v["hi"])}; return top[0];
+      default: throw "bend: Why has no tag " + v?.$ + " (its tags: Missing, NotNat, NotString, NotBool, NotList, NotObject, NoElements, OpenNotLast, LastNotOpen, NotIncreasing, NotTrue, NotOneOf, NoVariant, TwoVariants, TooShort, TooLong, LengthNotIn, NotIn, UnknownKey, RepeatedKey, TooLarge, CountNotIn); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m5(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Missing": at[key] = v; return top[0];
+      case "NotNat": at[key] = v; return top[0];
+      case "NotString": at[key] = v; return top[0];
+      case "NotBool": at[key] = v; return top[0];
+      case "NotList": at[key] = v; return top[0];
+      case "NotObject": at[key] = v; return top[0];
+      case "NoElements": at[key] = v; return top[0];
+      case "OpenNotLast": at[key] = v; return top[0];
+      case "LastNotOpen": at[key] = v; return top[0];
+      case "NotIncreasing": at = at[key] = {...v, "prev": BigInt(v["prev"]), "got": BigInt(v["got"])}; return top[0];
+      case "NotTrue": at[key] = v; return top[0];
+      case "NotOneOf": at[key] = v; return top[0];
+      case "NoVariant": at[key] = v; return top[0];
+      case "TwoVariants": at[key] = v; return top[0];
+      case "TooShort": at[key] = v; return top[0];
+      case "TooLong": at[key] = v; return top[0];
+      case "LengthNotIn": at = at[key] = {...v, "lo": BigInt(v["lo"]), "hi": BigInt(v["hi"])}; return top[0];
+      case "NotIn": at = at[key] = {...v, "lo": BigInt(v["lo"]), "hi": BigInt(v["hi"])}; return top[0];
+      case "UnknownKey": at[key] = v; return top[0];
+      case "RepeatedKey": at[key] = v; return top[0];
+      case "TooLarge": at[key] = v; return top[0];
+      case "CountNotIn": at = at[key] = {...v, "lo": BigInt(v["lo"]), "hi": BigInt(v["hi"])}; return top[0];
+      default: throw "bend: Why has no tag " + v?.$ + " (its tags: Missing, NotNat, NotString, NotBool, NotList, NotObject, NoElements, OpenNotLast, LastNotOpen, NotIncreasing, NotTrue, NotOneOf, NoVariant, TwoVariants, TooShort, TooLong, LengthNotIn, NotIn, UnknownKey, RepeatedKey, TooLarge, CountNotIn); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m9(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "AtIndex": at = at[key] = {...v, "i": BigInt(v["i"])}; return top[0];
+      case "AtField": at = at[key] = {...v, "skip": BigInt(v["skip"])}; return top[0];
+      case "BoundAt": at = at[key] = {...v, "i": BigInt(v["i"])}; return top[0];
+      case "AtKey": at[key] = v; return top[0];
+      default: throw "bend: Step has no tag " + v?.$ + " (its tags: AtIndex, AtField, BoundAt, AtKey); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m8(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Nil": at[key] = v; return top[0];
+      case "Con": at = at[key] = {...v, "head": $0m9(v["head"])}; key = "tail"; v = v[key]; continue;
+      default: throw "bend: List has no tag " + v?.$ + " (its tags: Nil, Con); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m7(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Err": at = at[key] = {...v, "path": $0m8(v["path"]), "why": $0m5(v["why"])}; return top[0];
+      default: throw "bend: Err has no tag " + v?.$ + " (its tags: Err); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m6(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "None": at[key] = v; return top[0];
+      case "Some": at = at[key] = {...v, "value": $0m7(v["value"])}; return top[0];
+      default: throw "bend: Maybe has no tag " + v?.$ + " (its tags: None, Some); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m10(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "AtIndex": at = at[key] = {...v, "i": nat_host(v["i"])}; return top[0];
+      case "AtField": at = at[key] = {...v, "skip": nat_host(v["skip"])}; return top[0];
+      case "BoundAt": at = at[key] = {...v, "i": nat_host(v["i"])}; return top[0];
+      case "AtKey": at[key] = v; return top[0];
+      default: throw "bend: Step has no tag " + v?.$ + " (its tags: AtIndex, AtField, BoundAt, AtKey); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m13(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Nil": at[key] = v; return top[0];
+      case "Con": at = at[key] = {...v, "head": $0m10(v["head"])}; key = "tail"; v = v[key]; continue;
+      default: throw "bend: List has no tag " + v?.$ + " (its tags: Nil, Con); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m12(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Err": at = at[key] = {...v, "path": $0m13(v["path"]), "why": $0m4(v["why"])}; return top[0];
+      default: throw "bend: Err has no tag " + v?.$ + " (its tags: Err); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m11(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "None": at[key] = v; return top[0];
+      case "Some": at = at[key] = {...v, "value": $0m12(v["value"])}; return top[0];
+      default: throw "bend: Maybe has no tag " + v?.$ + " (its tags: None, Some); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m14(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "None": at[key] = v; return top[0];
+      case "Some": at = at[key] = {...v, "value": $0m4(v["value"])}; return top[0];
+      default: throw "bend: Maybe has no tag " + v?.$ + " (its tags: None, Some); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m15(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "None": at[key] = v; return top[0];
+      case "Some": at = at[key] = {...v, "value": $0m5(v["value"])}; return top[0];
+      default: throw "bend: Maybe has no tag " + v?.$ + " (its tags: None, Some); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m16(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Nil": at[key] = v; return top[0];
+      case "Con": at = at[key] = {...v, "head": $0m2(v["head"])}; key = "tail"; v = v[key]; continue;
+      default: throw "bend: List has no tag " + v?.$ + " (its tags: Nil, Con); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+
+function $0m17(v) {
+  const top = [v];
+  for (let at = top, key = 0;;) {
+    switch (v.$) {
+      case "Nil": at[key] = v; return top[0];
+      case "Con": at = at[key] = {...v, "head": $0m3(v["head"])}; key = "tail"; v = v[key]; continue;
+      default: throw "bend: List has no tag " + v?.$ + " (its tags: Nil, Con); a tag names its constructor as the"
+      + " loading file sees it, which a later version will make the same"
+      + " everywhere (#1105)";
+    }
+  }
+}
+const $bend_emit = {
+  "pick_raw": run_lib((a0, a1, a2) => { const r = $0m1(run_loop($pick_raw$((a0), $0m0(a1), $0m0(a2)))); (a0); $0m1(a1); $0m1(a2); return r; }, 3),
+  "lookup": run_lib((a0, a1) => { const r = $0m1(run_loop($lookup$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "pick_bool": run_lib((a0, a1, a2) => { const r = (run_loop($pick_bool$((a0), (a1), (a2)))); (a0); (a1); (a2); return r; }, 3),
+  "is_rnil": run_lib((a0) => { const r = (run_loop($is_rnil$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "is_missing": run_lib((a0) => { const r = (run_loop($is_missing$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "in_names": run_lib((a0, a1) => { const r = (run_loop($in_names$((a0), (a1)))); (a0); (a1); return r; }, 2),
+  "none_present": run_lib((a0, a1) => { const r = (run_loop($none_present$($0m2(a0), $0m0(a1)))); $0m3(a0); $0m1(a1); return r; }, 2),
+  "key_names": run_lib((a0) => { const r = (run_loop($key_names$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "no_extra": run_lib((a0, a1) => { const r = (run_loop($no_extra$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "drop_key": run_lib((a0, a1) => { const r = $0m1(run_loop($drop_key$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "is_str": run_lib((a0, a1) => { const r = (run_loop($is_str$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "is_tag": run_lib((a0, a1, a2) => { const r = (run_loop($is_tag$((a0), (a1), $0m0(a2)))); (a0); (a1); $0m1(a2); return r; }, 3),
+  "in_err": run_lib((a0, a1) => { const r = $0m6(run_loop($in_err$((a0), $0m4(a1)))); (a0); $0m5(a1); return r; }, 2),
+  "str_len_ok": run_lib((a0, a1, a2) => { const r = (run_loop($str_len_ok$(nat_host(a0), nat_host(a1), (a2)))); BigInt(a0); BigInt(a1); (a2); return r; }, 3),
+  "num_ok": run_lib((a0, a1, a2) => { const r = (run_loop($num_ok$(nat_host(a0), nat_host(a1), nat_host(a2)))); BigInt(a0); BigInt(a1); BigInt(a2); return r; }, 3),
+  "len_ok": run_lib((a0, a1, a2) => { const r = (run_loop($len_ok$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "str_len_in": run_lib((a0, a1, a2) => { const r = $0m6(run_loop($str_len_in$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "nat_in": run_lib((a0, a1, a2) => { const r = $0m6(run_loop($nat_in$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "is_bool": run_lib((a0) => { const r = (run_loop($is_bool$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "raw_list": run_lib((a0) => { const r = (run_loop($raw_list$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "raw_len": run_lib((a0) => { const r = BigInt(run_loop($raw_len$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "count_ok": run_lib((a0, a1, a2) => { const r = (run_loop($count_ok$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "list_len_ok": run_lib((a0, a1, a2) => { const r = (run_loop($list_len_ok$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "has_key": run_lib((a0, a1) => { const r = (run_loop($has_key$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "key_once_at": run_lib((a0, a1, a2) => { const r = (run_loop($key_once_at$($0m0(a0), (a1), (a2)))); $0m1(a0); (a1); (a2); return r; }, 3),
+  "key_once": run_lib((a0, a1) => { const r = (run_loop($key_once$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "key_err": run_lib((a0, a1) => { const r = $0m6(run_loop($key_err$((a0), (a1)))); (a0); (a1); return r; }, 2),
+  "here": run_lib((a0) => { const r = $0m6(run_loop($here$($0m4(a0)))); $0m5(a0); return r; }, 1),
+  "under": run_lib((a0, a1) => { const r = $0m6(run_loop($under$($0m10(a0), $0m11(a1)))); $0m9(a0); $0m6(a1); return r; }, 2),
+  "len_err": run_lib((a0, a1, a2) => { const r = $0m6(run_loop($len_err$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "later_l_path": run_lib((a0) => { const r = $0m8(run_loop($later_l_path$($0m13(a0)))); $0m8(a0); return r; }, 1),
+  "later_l": run_lib((a0) => { const r = $0m6(run_loop($later_l$($0m11(a0)))); $0m6(a0); return r; }, 1),
+  "later_i_path": run_lib((a0) => { const r = $0m8(run_loop($later_i_path$($0m13(a0)))); $0m8(a0); return r; }, 1),
+  "later_i": run_lib((a0) => { const r = $0m6(run_loop($later_i$($0m11(a0)))); $0m6(a0); return r; }, 1),
+  "later_f_path": run_lib((a0) => { const r = $0m8(run_loop($later_f_path$($0m13(a0)))); $0m8(a0); return r; }, 1),
+  "later_f": run_lib((a0) => { const r = $0m6(run_loop($later_f$($0m11(a0)))); $0m6(a0); return r; }, 1),
+  "first": run_lib((a0, a1) => { const r = $0m6(run_loop($first$($0m11(a0), $0m11(a1)))); $0m6(a0); $0m6(a1); return r; }, 2),
+  "missing_or": run_lib((a0, a1) => { const r = $0m5(run_loop($missing_or$($0m0(a0), $0m4(a1)))); $0m1(a0); $0m5(a1); return r; }, 2),
+  "pick_err": run_lib((a0, a1, a2) => { const r = $0m6(run_loop($pick_err$((a0), $0m11(a1), $0m11(a2)))); (a0); $0m6(a1); $0m6(a2); return r; }, 3),
+  "true_err": run_lib((a0) => { const r = $0m6(run_loop($true_err$((a0)))); (a0); return r; }, 1),
+  "enum_err": run_lib((a0) => { const r = $0m6(run_loop($enum_err$((a0)))); (a0); return r; }, 1),
+  "dup_err": run_lib((a0, a1) => { const r = $0m6(run_loop($dup_err$($0m2(a0), $0m0(a1)))); $0m3(a0); $0m1(a1); return r; }, 2),
+  "extra_err": run_lib((a0, a1) => { const r = $0m6(run_loop($extra_err$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "tag_err": run_lib((a0, a1) => { const r = $0m6(run_loop($tag_err$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "count_err": run_lib((a0, a1, a2) => { const r = $0m6(run_loop($count_err$(nat_host(a0), nat_host(a1), $0m0(a2)))); BigInt(a0); BigInt(a1); $0m1(a2); return r; }, 3),
+  "guard": run_lib((a0, a1) => { const r = $0m15(run_loop($guard$((a0), $0m14(a1)))); (a0); $0m15(a1); return r; }, 2),
+  "nat_in_defect": run_lib((a0, a1, a2, a3) => { const r = $0m15(run_loop($nat_in_defect$(nat_host(a0), nat_host(a1), $0m0(a2), $0m13(a3)))); BigInt(a0); BigInt(a1); $0m1(a2); $0m8(a3); return r; }, 4),
+  "bool_defect": run_lib((a0, a1) => { const r = $0m15(run_loop($bool_defect$($0m0(a0), $0m13(a1)))); $0m1(a0); $0m8(a1); return r; }, 2),
+  "no_rule": run_lib((a0, a1) => { const r = $0m6(run_loop($no_rule$(nat_host(a0), $0m0(a1)))); BigInt(a0); $0m1(a1); return r; }, 2),
+  "first_why": run_lib((a0, a1) => { const r = $0m15(run_loop($first_why$($0m14(a0), $0m14(a1)))); $0m15(a0); $0m15(a1); return r; }, 2),
+  "step_eq": run_lib((a0, a1) => { const r = (run_loop($step_eq$($0m10(a0), $0m10(a1)))); $0m9(a0); $0m9(a1); return r; }, 2),
+  "path_eq": run_lib((a0, a1) => { const r = (run_loop($path_eq$($0m13(a0), $0m13(a1)))); $0m8(a0); $0m8(a1); return r; }, 2),
+  "rule_defect": run_lib((a0, a1) => { const r = $0m15(run_loop($rule_defect$($0m11(a0), $0m13(a1)))); $0m6(a0); $0m8(a1); return r; }, 2),
+  "not_list": run_lib((a0, a1) => { const r = $0m15(run_loop($not_list$($0m0(a0), $0m13(a1)))); $0m1(a0); $0m8(a1); return r; }, 2),
+  "not_object": run_lib((a0, a1) => { const r = $0m15(run_loop($not_object$($0m0(a0), $0m13(a1)))); $0m1(a0); $0m8(a1); return r; }, 2),
+  "nat_defect": run_lib((a0, a1) => { const r = $0m15(run_loop($nat_defect$($0m0(a0), $0m13(a1)))); $0m1(a0); $0m8(a1); return r; }, 2),
+  "str_defect": run_lib((a0, a1) => { const r = $0m15(run_loop($str_defect$($0m0(a0), $0m13(a1)))); $0m1(a0); $0m8(a1); return r; }, 2),
+  "pick_why": run_lib((a0, a1, a2) => { const r = $0m15(run_loop($pick_why$((a0), $0m14(a1), $0m14(a2)))); (a0); $0m15(a1); $0m15(a2); return r; }, 3),
+  "true_defect": run_lib((a0, a1) => { const r = $0m15(run_loop($true_defect$($0m0(a0), $0m13(a1)))); $0m1(a0); $0m8(a1); return r; }, 2),
+  "enum_defect": run_lib((a0, a1, a2) => { const r = $0m15(run_loop($enum_defect$((a0), $0m0(a1), $0m13(a2)))); (a0); $0m1(a1); $0m8(a2); return r; }, 3),
+  "no_variant": run_lib((a0) => { const r = $0m15(run_loop($no_variant$($0m13(a0)))); $0m8(a0); return r; }, 1),
+  "dup_defect": run_lib((a0, a1, a2) => { const r = $0m15(run_loop($dup_defect$($0m2(a0), $0m0(a1), $0m13(a2)))); $0m3(a0); $0m1(a1); $0m8(a2); return r; }, 3),
+  "at_end": run_lib((a0, a1) => { const r = $0m15(run_loop($at_end$($0m4(a0), $0m13(a1)))); $0m5(a0); $0m8(a1); return r; }, 2),
+  "extra_defect": run_lib((a0, a1, a2) => { const r = $0m15(run_loop($extra_defect$((a0), $0m0(a1), $0m13(a2)))); (a0); $0m1(a1); $0m8(a2); return r; }, 3),
+  "tag_defect": run_lib((a0, a1, a2) => { const r = $0m15(run_loop($tag_defect$((a0), $0m0(a1), $0m13(a2)))); (a0); $0m1(a1); $0m8(a2); return r; }, 3),
+  "tag_key_defect": run_lib((a0, a1, a2) => { const r = $0m15(run_loop($tag_key_defect$((a0), (a1), $0m13(a2)))); (a0); (a1); $0m8(a2); return r; }, 3),
+  "check0": run_lib((a0, a1) => { const r = $0m6(run_loop($check0$($0m2(a0), $0m0(a1)))); $0m3(a0); $0m1(a1); return r; }, 2),
+  "conforms0": run_lib((a0, a1) => { const r = (run_loop($conforms0$($0m2(a0), $0m0(a1)))); $0m3(a0); $0m1(a1); return r; }, 2),
+  "is_chain": run_lib((a0) => { const r = (run_loop($is_chain$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "is_object": run_lib((a0) => { const r = (run_loop($is_object$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "one_if_there": run_lib((a0) => { const r = BigInt(run_loop($one_if_there$((a0)))); (a0); return r; }, 1),
+  "count_present": run_lib((a0, a1) => { const r = BigInt(run_loop($count_present$($0m2(a0), $0m0(a1)))); $0m3(a0); $0m1(a1); return r; }, 2),
+  "tuple_of": run_lib((a0) => { const r = $0m3(run_loop($tuple_of$($0m16(a0)))); $0m17(a0); return r; }, 1),
+  "at_raw": run_lib((a0, a1) => { const r = $0m1(run_loop($at_raw$($0m0(a0), nat_host(a1)))); $0m1(a0); BigInt(a1); return r; }, 2),
+  "count_unknown": run_lib((a0, a1) => { const r = BigInt(run_loop($count_unknown$((a0), $0m0(a1)))); (a0); $0m1(a1); return r; }, 2),
+  "Meaning": run_lib((a0) => { const r = (run_loop($Meaning$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "enc": run_lib((a0, a1) => { const r = $0m1(run_loop($enc$($0m2(a0), (a1)))); $0m3(a0); (a1); return r; }, 2),
+  "lcons": run_lib((a0, a1) => { const r = (run_loop($lcons$((a0), (a1)))); (a0); (a1); return r; }, 2),
+  "both": run_lib((a0, a1) => { const r = (run_loop($both$((a0), (a1)))); (a0); (a1); return r; }, 2),
+  "opt_some": run_lib((a0) => { const r = (run_loop($opt_some$((a0)))); (a0); return r; }, 1),
+  "map_inl": run_lib((a0) => { const r = (run_loop($map_inl$((a0)))); (a0); return r; }, 1),
+  "map_inr": run_lib((a0) => { const r = (run_loop($map_inr$((a0)))); (a0); return r; }, 1),
+  "pick_m": run_lib((a0, a1, a2) => { const r = (run_loop($pick_m$((a0), (a1), (a2)))); (a0); (a1); (a2); return r; }, 3),
+  "true_unit": run_lib((a0) => { const r = (run_loop($true_unit$((a0)))); (a0); return r; }, 1),
+  "nullish": run_lib((a0) => { const r = (run_loop($nullish$($0m0(a0)))); $0m1(a0); return r; }, 1),
+  "dec": run_lib((a0, a1) => { const r = (run_loop($dec$($0m2(a0), $0m0(a1)))); $0m3(a0); $0m1(a1); return r; }, 2),
+  "opt_at": run_lib((a0) => { const r = (run_loop($opt_at$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "nullable": run_lib((a0) => { const r = (run_loop($nullable$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "no_key": run_lib((a0, a1) => { const r = (run_loop($no_key$((a0), $0m2(a1)))); (a0); $0m3(a1); return r; }, 2),
+  "fresh_f": run_lib((a0, a1) => { const r = (run_loop($fresh_f$((a0), $0m2(a1)))); (a0); $0m3(a1); return r; }, 2),
+  "fresh_v": run_lib((a0, a1) => { const r = (run_loop($fresh_v$((a0), $0m2(a1)))); (a0); $0m3(a1); return r; }, 2),
+  "is_keyed": run_lib((a0) => { const r = (run_loop($is_keyed$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "fresh_t": run_lib((a0, a1, a2) => { const r = (run_loop($fresh_t$((a0), (a1), $0m2(a2)))); (a0); (a1); $0m3(a2); return r; }, 3),
+  "wf": run_lib((a0) => { const r = (run_loop($wf$($0m2(a0)))); $0m3(a0); return r; }, 1),
+  "names_ok": run_lib((a0, a1) => { const r = (run_loop($names_ok$($0m2(a0), (a1)))); $0m3(a0); (a1); return r; }, 2),
+  "bounds_ok": run_lib((a0, a1) => { const r = (run_loop($bounds_ok$($0m2(a0), (a1)))); $0m3(a0); (a1); return r; }, 2),
+};
+export default $bend_emit;
+export const pick_raw = $bend_emit["pick_raw"];
+export const lookup = $bend_emit["lookup"];
+export const pick_bool = $bend_emit["pick_bool"];
+export const is_rnil = $bend_emit["is_rnil"];
+export const is_missing = $bend_emit["is_missing"];
+export const in_names = $bend_emit["in_names"];
+export const none_present = $bend_emit["none_present"];
+export const key_names = $bend_emit["key_names"];
+export const no_extra = $bend_emit["no_extra"];
+export const drop_key = $bend_emit["drop_key"];
+export const is_str = $bend_emit["is_str"];
+export const is_tag = $bend_emit["is_tag"];
+export const in_err = $bend_emit["in_err"];
+export const str_len_ok = $bend_emit["str_len_ok"];
+export const num_ok = $bend_emit["num_ok"];
+export const len_ok = $bend_emit["len_ok"];
+export const str_len_in = $bend_emit["str_len_in"];
+export const nat_in = $bend_emit["nat_in"];
+export const is_bool = $bend_emit["is_bool"];
+export const raw_list = $bend_emit["raw_list"];
+export const raw_len = $bend_emit["raw_len"];
+export const count_ok = $bend_emit["count_ok"];
+export const list_len_ok = $bend_emit["list_len_ok"];
+export const has_key = $bend_emit["has_key"];
+export const key_once_at = $bend_emit["key_once_at"];
+export const key_once = $bend_emit["key_once"];
+export const key_err = $bend_emit["key_err"];
+export const here = $bend_emit["here"];
+export const under = $bend_emit["under"];
+export const len_err = $bend_emit["len_err"];
+export const later_l_path = $bend_emit["later_l_path"];
+export const later_l = $bend_emit["later_l"];
+export const later_i_path = $bend_emit["later_i_path"];
+export const later_i = $bend_emit["later_i"];
+export const later_f_path = $bend_emit["later_f_path"];
+export const later_f = $bend_emit["later_f"];
+export const first = $bend_emit["first"];
+export const missing_or = $bend_emit["missing_or"];
+export const pick_err = $bend_emit["pick_err"];
+export const true_err = $bend_emit["true_err"];
+export const enum_err = $bend_emit["enum_err"];
+export const dup_err = $bend_emit["dup_err"];
+export const extra_err = $bend_emit["extra_err"];
+export const tag_err = $bend_emit["tag_err"];
+export const count_err = $bend_emit["count_err"];
+export const guard = $bend_emit["guard"];
+export const nat_in_defect = $bend_emit["nat_in_defect"];
+export const bool_defect = $bend_emit["bool_defect"];
+export const no_rule = $bend_emit["no_rule"];
+export const first_why = $bend_emit["first_why"];
+export const step_eq = $bend_emit["step_eq"];
+export const path_eq = $bend_emit["path_eq"];
+export const rule_defect = $bend_emit["rule_defect"];
+export const not_list = $bend_emit["not_list"];
+export const not_object = $bend_emit["not_object"];
+export const nat_defect = $bend_emit["nat_defect"];
+export const str_defect = $bend_emit["str_defect"];
+export const pick_why = $bend_emit["pick_why"];
+export const true_defect = $bend_emit["true_defect"];
+export const enum_defect = $bend_emit["enum_defect"];
+export const no_variant = $bend_emit["no_variant"];
+export const dup_defect = $bend_emit["dup_defect"];
+export const at_end = $bend_emit["at_end"];
+export const extra_defect = $bend_emit["extra_defect"];
+export const tag_defect = $bend_emit["tag_defect"];
+export const tag_key_defect = $bend_emit["tag_key_defect"];
+export const check0 = $bend_emit["check0"];
+export const conforms0 = $bend_emit["conforms0"];
+export const is_chain = $bend_emit["is_chain"];
+export const is_object = $bend_emit["is_object"];
+export const one_if_there = $bend_emit["one_if_there"];
+export const count_present = $bend_emit["count_present"];
+export const tuple_of = $bend_emit["tuple_of"];
+export const at_raw = $bend_emit["at_raw"];
+export const count_unknown = $bend_emit["count_unknown"];
+export const Meaning = $bend_emit["Meaning"];
+export const enc = $bend_emit["enc"];
+export const lcons = $bend_emit["lcons"];
+export const both = $bend_emit["both"];
+export const opt_some = $bend_emit["opt_some"];
+export const map_inl = $bend_emit["map_inl"];
+export const map_inr = $bend_emit["map_inr"];
+export const pick_m = $bend_emit["pick_m"];
+export const true_unit = $bend_emit["true_unit"];
+export const nullish = $bend_emit["nullish"];
+export const dec = $bend_emit["dec"];
+export const opt_at = $bend_emit["opt_at"];
+export const nullable = $bend_emit["nullable"];
+export const no_key = $bend_emit["no_key"];
+export const fresh_f = $bend_emit["fresh_f"];
+export const fresh_v = $bend_emit["fresh_v"];
+export const is_keyed = $bend_emit["is_keyed"];
+export const fresh_t = $bend_emit["fresh_t"];
+export const wf = $bend_emit["wf"];
+export const names_ok = $bend_emit["names_ok"];
+export const bounds_ok = $bend_emit["bounds_ok"];