Test.Cardano.Ledger.Conformance.Utils
agdaHashToBytes ∷ Int → Integer → ByteString Source #
agdaHashToExpr ∷ Int → Integer → Expr Source #