Tls.Handshake_serverval hello_request :
State.handshake_state ->
(State.handshake_return, State.failure) Stdlib.resultval handle_change_cipher_spec :
State.server_handshake_state ->
State.handshake_state ->
string ->
(State.handshake_return, State.failure) Stdlib.resultval handle_handshake :
State.server_handshake_state ->
State.handshake_state ->
string ->
(State.handshake_return, State.failure) Stdlib.result