Hiding the implementation of procedures

If you are familiar with emacs you can use the built in “outline” functionality.