GOAL:
The User asks an inteface if it extends another interface. In the current implementation, this is spelled out:
from IFoo import IFoo # see DeveloperCreatesInterface from IBar import IBar IFoo.extends(IBar)The above expression would be true or false depending on whether IFoo? extends IBar?.