File listpair.sml: Testing structure ListPair...
test1    	OK
test2a    	OK
test2b    	OK
test3a    	OK
checkv    	OK
checkv    	OK
test5a    	OK
test5b    	OK
test5c    	OK
checkv    	OK
checkv    	OK
test6    	OK
test7    	OK