src/HOL/Tools/Nitpick/nitpick_kodkod.ML

      ("nat_add", tabulate_nat_op2 debug univ_card (nat_card, j0) (op +))
    else if Kodkod.Rel x = int_add_rel then
      ("int_add", tabulate_int_op2 debug univ_card (int_card, j0) (op +))
    else if Kodkod.Rel x = nat_subtract_rel then
      ("nat_subtract",
-      tabulate_op2 debug univ_card (nat_card, j0) j0 (op nat_minus))
+      tabulate_op2 debug univ_card (nat_card, j0) j0 (uncurry nat_minus))
    else if Kodkod.Rel x = int_subtract_rel then
      ("int_subtract", tabulate_int_op2 debug univ_card (int_card, j0) (op -))
    else if Kodkod.Rel x = nat_multiply_rel then
      ("nat_multiply", tabulate_nat_op2 debug univ_card (nat_card, j0) (op * ))
    else if Kodkod.Rel x = int_multiply_rel then