Way to "collapse all" in the IDE to close all the bodies or all the specifications

[seebees]

Sometimes I want to read only the implementation,
so I want to fold all the specifications.
Other times I only care about the specifications
and I would like to fold all the bodies.

It would be nice to be able to do this for a whole file
or in a specific method.

[camrein]

I guess this is somewhat related to #67.
I'm hesitant about providing such a feature because it needs some user testing how reliable the folding ranges work if the document is in an unparsable state. Hence why I've only drafted dafny-lang/dafny#1549 so far.

[MikaelMayer]

I'm not worried too much about unparsable state.

However, if you wanted to create your own extension or suggest a pull to the current extension, the two API to use are
editor.fold and editor.unfold
as described here
microsoft/vscode#37682 (comment)