#include <util.h>
A numeric range given as [min, max]. Min and max range over the entire range of signed integers.
Definition at line 77 of file util.h.
Definition at line 79 of file util.h.
Definition at line 80 of file util.h.