test.ok_pred_rec_nat_type.mps 6.76 KB