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