Post-work hook.

Used to inform self that the operations are over. Specific streams can use this to free some resources.

Is automatically invoked at the end of with structures.

call close by default.

Property definitions

core $ Stream :: finish
	# Post-work hook.
	#
	# Used to inform `self` that the operations are over.
	# Specific streams can use this to free some resources.
	#
	# Is automatically invoked at the end of `with` structures.
	#
	# call `close` by default.
	fun finish do close
lib/core/stream.nit:97,2--105,20