val derive_master_secret : Core.tls_before_13 -> State.session_data -> Cstruct.t -> Cstruct.t list -> Core.master_secretval initialise_crypto_ctx : Core.tls_before_13 -> State.session_data -> State.crypto_context * State.crypto_contextval finished : Core.tls_before_13 -> Ciphersuite.ciphersuite -> Cstruct.t -> string -> Cstruct.t list -> Cstruct.t