package a; public interface KtPureElement { KtFile getContainingKtFile(); }