ouroboros-consensus-diffusion-0.24.0.0: Integration for the Ouroboros Network layer
Safe HaskellNone
LanguageHaskell2010

Test.ThreadNet.Util.SimpleBlock

Documentation

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