Test.Cardano.Ledger.Dijkstra.Binary.Cddl
readDijkstraCddlFileNames ∷ IO [FilePath] Source #
readDijkstraCddlFiles ∷ IO [ByteString] Source #