Module io.hotmoka.whitelisting

module io.hotmoka.whitelisting
This module defines the implementation of white-listing in Hotmoka. It is used to define a subset of Java that can be used for Takamaka smart contracts.