this actually made separation logic make sense for me! I was hoping that there would be some analysis of the borrow checker though, maybe next time...
Thanks for reading!
I'll be in there to pester you guys sometime at the end of next week I would image, and thanks!