praosBlockHuddleSpec ∷ ∀ era c (bh ∷ Type → Type) (bhbody ∷ Type → Type). (Era era, AtLeastEra "Babbage" era, Eq (bh c), Show (bh c), DecCBOR (bh c), EncCBOR (bh c), DecCBOR (Annotator (bh c)), Eq (bhbody c), Show (bhbody c), DecCBOR (bhbody c), EncCBOR (bhbody c)) ⇒ SpecWith HuddleEnv Source #