This would look nicer with a `range` instead of `start` and `end` arguments. Not sure if hax/F* can handle that though.

[franziskuskiefer]

          This would look nicer with a `range` instead of `start` and `end` arguments. Not sure if hax/F* can handle that though.

Originally posted by @franziskuskiefer in #112 (comment)