Idris2Doc
: BitsUtil
Index
Default
Alternative
Black & White
BitsUtil
(
source
)
Definitions
bits32FromBigEndian
:
Vect
4
Bits8
->
Bits32
Visibility
:
export
bits32ToBigEndian
:
Bits32
->
Vect
4
Bits8
Visibility
:
export