Method ADT.Interval()->`-()

Method `-

this_program|zero res = ADT.Interval() - interval