This package is a part of the AlephBFT toolset. For more information, see the README in the top-level directory.

Contains traits that need to be implemented by the user.