Handshake_crypto (tls.Tls.Handshake

val derive_master_secret : 
  Core.tls_before_13 ->
  State.session_data ->
  string ->
  string list ->
  Core.master_secret

val initialise_crypto_ctx : 
  Core.tls_before_13 ->
  State.session_data ->
  State.crypto_context * State.crypto_context

val finished : 
  Core.tls_before_13 ->
  Ciphersuite.ciphersuite ->
  string ->
  string ->
  string list ->
  string

val pseudo_random_function : 
  Core.tls_before_13 ->
  Ciphersuite.ciphersuite ->
  int ->
  string ->
  string ->
  string ->
  string

pseudo_random_function version cipher length secret label seed