Idris2Doc : Huffman.Fin256

Huffman.Fin256

(source)

Definitions

bits8ToFin256 : Bits8->Fin256
Visibility: public export