module:io.hotmoka.exceptions
io.hotmoka.exceptions
io.hotmoka.exceptions.functions
