package tls

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val (<+>) : Cstruct.t -> Cstruct.t -> Cstruct.t

val dh_params_pack : 
  Mirage_crypto_pk.Dh.group ->
  Cstruct.t ->
  Core.dh_parameters

val dh_params_unpack : 
  Core.dh_parameters ->
  (Mirage_crypto_pk.Dh.group * Cstruct.t, [> `Msg of string ]) result

module Ciphers : sig ... end

val sequence_buf : Cstruct.uint64 -> Cstruct.t

val aead_nonce : Cstruct.t -> Cstruct.uint64 -> Cstruct.t

val adata_1_3 : Cstruct.uint16 -> Cstruct.t

val pseudo_header : 
  Cstruct.uint64 ->
  Packet.content_type ->
  (Cstruct.uint8 * Cstruct.uint8) ->
  Cstruct.uint16 ->
  Cstruct.t

val mac : 
  [< Mirage_crypto.Hash.hash ] ->
  Cstruct.t ->
  Cstruct.t ->
  Cstruct.t ->
  Mirage_crypto.Hash.digest

val cbc_block : 
  (module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  int

val cbc_pad : int -> Cstruct.t -> Cstruct.t

val cbc_unpad : Cstruct.t -> Cstruct.t 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:Cstruct.t ->
  ?adata:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t

val decrypt_aead : 
  cipher:(module Mirage_crypto.AEAD with type key = 'a) ->
  key:'a0 ->
  nonce:Cstruct.t ->
  ?adata:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t option

val encrypt_cbc : 
  cipher:(module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  key:'a0 ->
  iv:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t * Cstruct.t

val decrypt_cbc : 
  cipher:(module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  key:'a0 ->
  iv:Cstruct.t ->
  Cstruct.t ->
  (Cstruct.t * Cstruct.t) option