Function side

scripts/fungrim/compile-rules.ts:870–882

(s: MathJSON)

  lhsW: MathJSON,
  rhsW: MathJSON
): string {
  const side = (s: MathJSON): string => {
    // Box in a throwaway scope: canonical boxing auto-declares the wildcard
    // symbols, and those inferred types must not leak across entries.
    ce.pushScope();
    try {
      const b = ce.expr(s as never);
      return JSON.stringify(b.json);
    } catch {
      return JSON.stringify(s);
    } finally {
      ce.popScope();
    }
  };
  let a = side(lhsW);
  let b = side(rhsW);