Sourceval sequence_buf : int64 -> string Sourceval aead_nonce : string -> int64 -> string Sourceval adata_1_3 : int -> string Sourceval cbc_pad : int -> string -> string Sourceval cbc_unpad : string -> string option Sourceval encrypt_aead :
cipher:(module Mirage_crypto.AEAD with type key = 'a) ->
key:'a ->
nonce:string ->
?adata:string ->
string ->
string Sourceval decrypt_aead :
cipher:(module Mirage_crypto.AEAD with type key = 'a) ->
key:'a ->
nonce:string ->
?adata:string ->
string ->
string option