Module Tcp.Window

type t
val pp : Stdlib.Format.formatter -> t -> unit
val 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
val valid : t -> Sequence.t -> bool
val rx_advance : t -> Sequence.t -> unit
val rx_advance_inseq : t -> Sequence.t -> unit
val rx_nxt : t -> Sequence.t
val rx_nxt_inseq : t -> Sequence.t
module Make : functor (C : Mirage_clock.MCLOCK) -> sig ... end
val tx_nxt : t -> Sequence.t
val tx_una : t -> Sequence.t
val tx_mss : t -> int
val fast_rec : t -> bool
val ack_serviced : t -> bool
val ack_seq : t -> Sequence.t
val ack_win : t -> int
val set_ack_serviced : t -> bool -> unit
val set_ack_seq_win : t -> Sequence.t -> int -> unit
val rx_wnd : t -> int32
val rx_wnd_unscaled : t -> int32
val set_rx_wnd : t -> int32 -> unit
val tx_wnd : t -> int32
val tx_wnd_unscaled : t -> int32
val tx_available : t -> int32
val tx_inflight : t -> bool
val set_tx_wnd : t -> int -> unit
val max_tx_wnd : t -> int32
val alert_fast_rexmit : t -> Sequence.t -> unit
val rto : t -> int64
val backoff_rto : t -> unit
val max_rexmits_done : t -> bool
val tx_totalbytes : t -> int
val rx_totalbytes : t -> int