intervals-consed

intervals-consed is a variable defined in `C source code'.
Its value is
2228609


Documentation:
Number of intervals that have been consed so far.