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 |