Open MicroProofs opened 2 months ago
Hovering over the backpassing syntax or anything below it should not highlight everything inside the when block and return bool type.
The individual types should be accessible.
What Git revision are you using?
What operating system are you using, and which version?
Describe what the problem is?
Hovering over the backpassing syntax or anything below it should not highlight everything inside the when block and return bool type.
What should be the expected behavior?
The individual types should be accessible.