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

class ADT.Interval

class ADT.Interval.Boundary

Method `-

RangeType res = ADT.Interval.Boundary() - b