ouroboros-consensus-diffusion-0.22.0.1: 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 #