Handshake_server13 (tls.Tls.Handshake

val answer_client_hello : 
  hrr:bool ->
  State.handshake_state ->
  Core.client_hello ->
  Stdlib.String.t ->
  (State.handshake_state
   * [> `Change_dec of State.crypto_context
     | `Change_enc of State.crypto_context
     | `Record of Packet.content_type * string ]
       list,
    [> `Error of
         [> `CouldntSelectCertificate
         | `NoConfiguredCiphersuite of
           [> `AES_128_CCM_SHA256
           | `AES_128_GCM_SHA256
           | `AES_256_GCM_SHA384
           | `CHACHA20_POLY1305_SHA256 ]
             list
         | `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list
         | `NoMatchingCertificateFound of string ]
    | `Fatal of
      [> `Bad_certificate of string
      | `Handshake of
        [> `BadDH of string
        | `BadECDH of Mirage_crypto_ec.error
        | `Fragments
        | `Message of string ]
      | `Missing_extension of string
      | `No_application_protocol ] ])
    Stdlib.result

val answer_client_certificate : 
  State.handshake_state ->
  string ->
  State.session_data13 ->
  string ->
  State.crypto_context ->
  Core.session_ticket option ->
  string ->
  string ->
  (State.handshake_state * 'a list,
    [> `Error of
         [> `AuthenticationFailure of X509.Validation.validation_error ]
    | `Fatal of
      [> `Bad_certificate of string
      | `Decode of string
      | `Handshake of [> `Message of string ] ] ])
    Stdlib.result

val answer_client_certificate_verify : 
  State.handshake_state ->
  string ->
  State.session_data13 ->
  string ->
  State.crypto_context ->
  Core.session_ticket option ->
  string ->
  Stdlib.String.t ->
  (State.handshake_state * 'a list,
    [> `Error of
         [> `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list ]
    | `Fatal of
      [> `Bad_certificate of string
      | `Decode of string
      | `Handshake of [> `Message of string ] ] ])
    Stdlib.result

val answer_client_finished : 
  State.handshake_state ->
  Stdlib.String.t ->
  string ->
  'a ->
  Core.session_ticket option ->
  string ->
  Stdlib.String.t ->
  (State.handshake_state * [> `Change_dec of 'a ] list,
    [> `Fatal of [> `Handshake of [> `Fragments | `Message of string ] ] ])
    Stdlib.result

val handle_end_of_early_data : 
  State.handshake_state ->
  string ->
  'a ->
  State.crypto_context ->
  Core.session_ticket option ->
  string ->
  string ->
  (State.handshake_state * [> `Change_dec of 'a ] list,
    [> `Fatal of [> `Handshake of [> `Message of string ] ] ])
    Stdlib.result

val handle_key_update : 
  State.handshake_state ->
  Packet.key_update_request_type ->
  (State.handshake_state
   * [> `Change_dec of State.crypto_context
     | `Change_enc of State.crypto_context
     | `Record of Packet.content_type * string ]
       list,
    [> `Fatal of [> `Handshake of [> `Fragments | `Message of string ] ] ])
    Stdlib.result

val handle_handshake : 
  State.server13_handshake_state ->
  State.handshake_state ->
  Stdlib.String.t ->
  (State.handshake_state
   * [> `Change_dec of State.crypto_context
     | `Change_enc of State.crypto_context
     | `Record of Packet.content_type * string ]
       list,
    [> `Error of
         [> `AuthenticationFailure of X509.Validation.validation_error
         | `CouldntSelectCertificate
         | `NoConfiguredCiphersuite of
           [> `AES_128_CCM_SHA256
           | `AES_128_GCM_SHA256
           | `AES_256_GCM_SHA384
           | `CHACHA20_POLY1305_SHA256 ]
             list
         | `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list
         | `NoMatchingCertificateFound of string ]
    | `Fatal of
      [> `Bad_certificate of string
      | `Decode of string
      | `Handshake of
        [> `BadDH of string
        | `BadECDH of Mirage_crypto_ec.error
        | `Fragments
        | `Message of string ]
      | `Missing_extension of string
      | `No_application_protocol
      | `Unexpected of [> `Handshake of Core.tls_handshake ] ] ])
    Stdlib.result