Idris2Doc : Data.Compress.CRC

Data.Compress.CRC

(source)

Definitions

update_crc32 : Bits32->ListBits8->Bits32
Visibility: export
crc32 : ListBits8->Bits32
Visibility: export