ouroboros-consensus-mock-test-0.1.0.0: Tests of the mock ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.ThreadNet.Util.SimpleBlock

Documentation

prop_validSimpleBlock ∷ (SimpleCrypto c, Typeable ext, Typeable ext') ⇒ SimpleBlock' c ext ext' → Property Source #