-- |HBS2.Consensus
--
-- A FSM and support routines for Tendermint with a twist.
-- Copyright (C) Serguey Zefirov, 2023.
module HBS2.Consensus where