[MLton] Handler in SSA Returns?

[Ben Chambers]

What does the handler argument to NonTail returns indicate?  There are three
different constructors for the datatype -- Caller, Dead and Handle -- what do
they do?

Thanks,
Ben Chambers