static TestResult testResult_eq_verbose(O a, O b) {
  ret eq(a, b)
    ? TestResult(str(a), true)
    : TestResult(str(a) + " != " + str(b), false);
}