idea-plugin / arrow.meta.ide.plugins.proofs.resolve
Package arrow.meta.ide.plugins.proofs.resolve
Types
| MetaResolutionFacade | class MetaResolutionFacade : ResolutionFacade |
Properties
| proofsKotlinCache | val IdeMetaPlugin.proofsKotlinCache: ExtensionPhase |