Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package tls
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Tls.Handshake_server
val hello_request : State.handshake_state -> State.handshake_return State.effval handle_change_cipher_spec :
State.server_handshake_state ->
State.handshake_state ->
Cstruct.t ->
State.handshake_return State.effval handle_handshake :
State.server_handshake_state ->
State.handshake_state ->
Cstruct.t ->
State.handshake_return State.eff