Module Tls13Source

Sourceval hkdf_expand_label : string -> label:string -> context:string -> int -> string
Sourceval derive_secret : string -> string -> string -> string
Sourceval handshake_secret : string -> string
Sourceval master_secret : string -> string
Sourcetype cipher =
  1. | Chacha20_poly1305
  2. | Aes128_gcm
Sourcetype keys = {
  1. cipher : cipher;
  2. key : string;
  3. iv : string;
  4. seq : int;
}
Sourceval traffic_keys : cipher -> string -> keys
Sourceval finished : string -> string -> string
Sourceval seal : keys -> int -> string -> string * keys
Sourceval open_record : keys -> string -> string -> ((int * string) * keys) option
Sourcetype t
Sourcetype state =
  1. | Handshaking
  2. | Open
  3. | Closed
  4. | Failed of string
Sourceval client : host:string -> random:string -> secret:string -> session_id:string -> verify:(X509.t list -> (unit, string) result) -> t * string
Sourceval received : t -> string -> t * string
Sourceval state : t -> state
Sourceval read : t -> t * string
Sourceval write : t -> string -> t * string
Sourceval close : t -> t * string
Sourceval certificates : t -> X509.t list
Sourceval cipher : t -> cipher option