Closed moulins closed 1 year ago
Box the Context inside Arena, so that map_root is more efficient, and add some 'gc lifetimes missed in #66.
Context
Arena
map_root
'gc
Box the
ContextinsideArena, so thatmap_rootis more efficient, and add some'gclifetimes missed in #66.