static TestResult testResult_eq(O a, O b) {
  ret TestResult(eq(a, b));
}