IL is not a theory but an approach within general linguistics, i.e. the branch of linguistics which studies all languages and aims at developing a general theory of language.
Accordingly, IL has developed a comprehensive theoretical framework for the description of arbitrary languages.