srecord TestFunctionValues<A, B>(IF1<A, B> function) {
  new LPair<A, B> pairs;
  
  selfType io(A input, b output) {
    pairs.add(pair(input, output));
    this;
  }
  
  run {
    for (p : pairs)
      testFunctionValue(function, p.a, p.b);
      
    print(nTests(pairs) + " OK");
  }
}