Function guardJson

src/compute-engine/fungrim/loader.ts:95–101

The MathJSON payload(s) of a guard (for symbol/wildcard collection).

(g: GuardSpec)

/** The MathJSON payload(s) of a guard (for symbol/wildcard collection). */
function guardJson(g: GuardSpec): FungrimMathJson {
  if (g.k === 'type') return g.wc;
  if (g.k === 'cmp' || g.k === 'part-cmp') return [g.wc, g.bound];
  if (g.k === 'member') return [g.wc, g.set];
  if (g.k === 'ne') return [g.lhs, g.rhs];
  return g.pred;
}

/** GuardSpec part tags → CE operator heads. */
const PART_TO_OPERATOR: Record<'re' | 'im' | 'abs' | 'arg', string> = {