Idris2Doc
: Crypto.AES.Big
Index
Default
Alternative
Black & White
Crypto.AES.Big
(
source
)
Definitions
encrypt_block
: (
mode
:
Mode
)
->
Vect
(
get_n_k
mode
*
4
)
Bits8
->
Vect
16
Bits8
->
Vect
16
Bits8
Visibility
:
export