DEFAULT_INTERVAL_P  122 src/intervals.c   if (DEFAULT_INTERVAL_P (source) && DEFAULT_INTERVAL_P (target))
DEFAULT_INTERVAL_P  138 src/intervals.c   if (DEFAULT_INTERVAL_P (source) && DEFAULT_INTERVAL_P (target))
DEFAULT_INTERVAL_P  177 src/intervals.c   if (DEFAULT_INTERVAL_P (i0) && DEFAULT_INTERVAL_P (i1))
DEFAULT_INTERVAL_P  180 src/intervals.c   if (DEFAULT_INTERVAL_P (i0) || DEFAULT_INTERVAL_P (i1))
DEFAULT_INTERVAL_P 2242 src/intervals.c       && DEFAULT_INTERVAL_P (i))