Module Tcp.WindowSource

Sourcetype t
Sourceval pp : Format.formatter -> t -> unit
Sourceval t : rx_wnd_scale:int -> tx_wnd_scale:int -> rx_wnd:int -> tx_wnd:int -> rx_isn:Sequence.t -> tx_mss:int -> tx_isn:Sequence.t -> t
Sourceval valid : t -> Sequence.t -> bool
Sourceval rx_advance : t -> Sequence.t -> unit
Sourceval rx_advance_inseq : t -> Sequence.t -> unit
Sourceval rx_nxt : t -> Sequence.t
Sourceval rx_nxt_inseq : t -> Sequence.t
Sourceval tx_advance : t -> Sequence.t -> unit
Sourceval tx_ack : t -> Sequence.t -> int -> unit
Sourceval tx_nxt : t -> Sequence.t
Sourceval tx_una : t -> Sequence.t
Sourceval tx_mss : t -> int
Sourceval fast_rec : t -> bool
Sourceval ack_serviced : t -> bool
Sourceval ack_seq : t -> Sequence.t
Sourceval ack_win : t -> int
Sourceval set_ack_serviced : t -> bool -> unit
Sourceval set_ack_seq_win : t -> Sequence.t -> int -> unit
Sourceval rx_wnd : t -> int32
Sourceval rx_wnd_unscaled : t -> int32
Sourceval set_rx_wnd : t -> int32 -> unit
Sourceval tx_wnd : t -> int32
Sourceval tx_wnd_unscaled : t -> int32
Sourceval tx_available : t -> int32
Sourceval tx_inflight : t -> bool
Sourceval set_tx_wnd : t -> int -> unit
Sourceval max_tx_wnd : t -> int32
Sourceval alert_fast_rexmit : t -> Sequence.t -> unit
Sourceval rto : t -> int64
Sourceval backoff_rto : t -> unit
Sourceval max_rexmits_done : t -> bool
Sourceval tx_totalbytes : t -> int
Sourceval rx_totalbytes : t -> int