Huffman.Table

Definitions

data Bit : Type

Totality: total
Visibility: public export
Constructors:

T : Bit

F : Bit

Hint: 

Eq Bit

Bits : Type

Visibility: public export

huffmanTable : Vect 257 Bits

Visibility: public export