http://rise4fun.com/Dafny/SrBH
Is it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.
I couldn't find something similar in the test suite.
Thanks in advance
Comments: "Sorry, I think" was accidentally sent. Sorry.