Documentation

spec :: Spec Source #

prop_singleMemberHeadAlwaysSnapshotOnReqTx :: ConfirmedSnapshot SimpleTx -> Property Source #

prop_thereIsAlwaysALeader :: Property Source #