TYPE_IS_INTEGER    55 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (bool));
TYPE_IS_INTEGER    56 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (char));
TYPE_IS_INTEGER    57 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (signed char));
TYPE_IS_INTEGER    58 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (unsigned char));
TYPE_IS_INTEGER    59 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (short int));
TYPE_IS_INTEGER    60 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (unsigned short int));
TYPE_IS_INTEGER    61 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (int));
TYPE_IS_INTEGER    62 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (unsigned int));
TYPE_IS_INTEGER    63 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (long int));
TYPE_IS_INTEGER    64 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (unsigned long int));
TYPE_IS_INTEGER    65 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (intmax_t));
TYPE_IS_INTEGER    66 gnulib-tests/test-intprops.c   ASSERT (TYPE_IS_INTEGER (uintmax_t));
TYPE_IS_INTEGER    67 gnulib-tests/test-intprops.c   ASSERT (! TYPE_IS_INTEGER (float));
TYPE_IS_INTEGER    68 gnulib-tests/test-intprops.c   ASSERT (! TYPE_IS_INTEGER (double));
TYPE_IS_INTEGER    69 gnulib-tests/test-intprops.c   ASSERT (! TYPE_IS_INTEGER (long double));
TYPE_IS_INTEGER   132 lib/mktime.c   verify (time_t_is_integer, TYPE_IS_INTEGER (time_t));
TYPE_IS_INTEGER    55 src/context.c  	  verify (TYPE_IS_INTEGER (time_t));