val answer_client_hello :
hrr:bool ->
State.handshake_state ->
Core.client_hello ->
Cstruct.t ->
(State.handshake_state
* [> `Change_dec of State.crypto_context
| `Change_enc of State.crypto_context
| `Record of Packet.content_type * Cstruct.t ]
list)
State.tval answer_client_certificate :
State.handshake_state ->
Cstruct.t ->
State.session_data13 ->
Cstruct_sexp.t ->
State.crypto_context ->
Core.session_ticket option ->
Cstruct_sexp.t ->
Cstruct_sexp.t ->
(State.handshake_state * 'a list) State.tval answer_client_certificate_verify :
State.handshake_state ->
Cstruct.t ->
State.session_data13 ->
Cstruct_sexp.t ->
State.crypto_context ->
Core.session_ticket option ->
Cstruct_sexp.t ->
Cstruct_sexp.t ->
(State.handshake_state * 'a list) State.tval answer_client_finished :
State.handshake_state ->
Cstruct.t ->
Cstruct.t ->
'a ->
Core.session_ticket option ->
Cstruct.t ->
Cstruct.t ->
(State.handshake_state * [> `Change_dec of 'a ] list) State.tval handle_end_of_early_data :
State.handshake_state ->
Cstruct_sexp.t ->
'a ->
State.crypto_context ->
Core.session_ticket option ->
Cstruct_sexp.t ->
Cstruct_sexp.t ->
(State.handshake_state * [> `Change_dec of 'a ] list) State.tval 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 * Cstruct.t ]
list)
State.tval handle_handshake :
State.server13_handshake_state ->
State.handshake_state ->
Cstruct_sexp.t ->
(State.handshake_state
* [> `Change_dec of State.crypto_context
| `Change_enc of State.crypto_context
| `Record of Packet.content_type * Cstruct.t ]
list)
State.t