symbolic operator reference resolution

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.

Apache License 2.0

51 stars 2 forks source link

Closed ocadaruma closed 2 years ago

ocadaruma commented 2 years ago

Support reference resolution (go to declarations/find usages) for symbol-like operators as like identifier-like operators