feature that will be called on the final instance of this effect after it has been de-instated.
This happens either on a normal return form the code passed to `instate`, on an abort performed on this effect or on an abort performed on an effect instated prior to this effect's instation.
This can be used to perform actions when leaving an effect such a cleanup up resources that were created or opened by operations of this effect.
0.095dev (2025-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c built by fridi@fzen)
after it has been de-instated.
This happens either on a normal return form the code passed to
`instate`, on an abort performed on this effect or on an abort
performed on an effect instated prior to this effect's instation.
This can be used to perform actions when leaving an effect such
a cleanup up resources that were created or opened by operations
of this effect.