Handshake_crypto (tls.Tls.Handshake

val derive_master_secret : 
  Core.tls_before_13 ->
  State.session_data ->
  Cstruct.t ->
  Cstruct.t 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 ->
  Cstruct.t ->
  string ->
  Cstruct.t list ->
  Cstruct.t

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

pseudo_random_function version cipher length secret label seed