idris-0.9.18: test/corecords001/expected

0
1
3
1
0