The borrow checker is more influenced by substructural type systems, such as the one in the MLKit [1] and Cyclone. [1]: http://mlton.org/Regions http://mlton.o

The borrow checker is more influenced by substructural type systems, such as the one in the MLKit [1] and Cyclone. [1]: http://mlton.org/Regions http://mlton.org/Regions