J2K: rename CompositeTypeSubstitution.java -> DisjointKeysUnionTypeSubstitution.kt

This commit is contained in:
Denis Zharkov
2015-07-24 11:39:08 +03:00
parent 465ed9973f
commit 70bf4d2faf