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