Region
Definitions
def closeOnExit(x: a, rc: Region[r]): Unit \ IO
SourceAdd x to a stack of Closeable
to be closed when the region exits:
Closeable
s are guaranteed to be closed after any threads within the region have been joined.Closeable
s are guaranteed to be closed in the reverse order in which they're added (most recently added first).