ouroboros-consensus-diffusion-0.17.1.0: Integration for the Ouroboros Network layer
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.ThreadNet.Util.SimpleBlock

Documentation

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