idea-plugin / arrow.meta.ide.plugins.proofs.annotators.given

Package arrow.meta.ide.plugins.proofs.annotators.given

Properties

givenCallSite val IdeMetaPlugin.givenCallSite: Annotator
givenParameter val IdeMetaPlugin.givenParameter: Annotator

Do you like Arrow?

Arrow Org
<