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

Do you like Arrow?

Arrow Org
<