Module neg_interval

Source