Module io.hotmoka.instrumentation.api

module io.hotmoka.instrumentation.api

This module defines the API of the instrumentation of Takamaka code before being installed in a Hotmoka node.

Packages

Exports

Package	Description
io.hotmoka.instrumentation.api