Tls.Handshake_clientSourceval default_client_hello :
Config.config ->
Core.client_hello * Core.tls_version * (Core.group * State.dh_secret) listval handle_change_cipher_spec :
State.client_handshake_state ->
State.handshake_state ->
Cstruct.t ->
State.handshake_return State.effval handle_handshake :
State.client_handshake_state ->
State.handshake_state ->
Cstruct.t ->
State.handshake_return State.eff