Function top

scripts/rubi/triage-ch6.ts:133–134

(m: Map<string, number>, n = 15)

  }

  const top = (m: Map<string, number>, n = 15) =>
    [...m.entries()].sort((a, b) => b[1] - a[1]).slice(0, n);

  console.log(`SOLVED ${solved}/${slice.length}`);
  console.log(`NO RULE ATTEMPT (dispatch/reduction gap): ${noAttempt}`);