Module io.hotmoka.constants

module io.hotmoka.constants
This module defines some constants about the Hotmoka project.