val dh_params_unpack :
Core.dh_parameters ->
(Mirage_crypto_pk.Dh.group * string, [> `Msg of string ]) Stdlib.result
val sequence_buf : int64 -> string
val aead_nonce : string -> int64 -> string
val adata_1_3 : int -> string
val mac : Digestif.hash' -> string -> string -> string -> string
val cbc_block : (module Mirage_crypto.Block.CBC with type key = 'a) -> int
val cbc_pad : int -> string -> string
val cbc_unpad : string -> string option
val tag_len : (module Mirage_crypto.AEAD with type key = 'a) -> int
val encrypt_aead :
cipher:(module Mirage_crypto.AEAD with type key = 'a) ->
key:'a0 ->
nonce:string ->
?adata:string ->
string ->
string
val decrypt_aead :
cipher:(module Mirage_crypto.AEAD with type key = 'a) ->
key:'a0 ->
nonce:string ->
?adata:string ->
string ->
string option
val encrypt_cbc :
cipher:(module Mirage_crypto.Block.CBC with type key = 'a) ->
key:'a0 ->
iv:string ->
string ->
string * string
val decrypt_cbc :
cipher:(module Mirage_crypto.Block.CBC with type key = 'a) ->
key:'a0 ->
iv:string ->
string ->
(string * string) option