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

Method `|

this_program res = ADT.Interval() | i