Module Tcp.State

type action =
  1. | Passive_open
  2. | Recv_rst
  3. | Recv_synack of Sequence.t
  4. | Recv_ack of Sequence.t
  5. | Recv_fin
  6. | Send_syn of Sequence.t
  7. | Send_synack of Sequence.t
  8. | Send_rst
  9. | Send_fin of Sequence.t
  10. | Timeout
val pp_action : Stdlib.Format.formatter -> action -> unit
type tcpstate =
  1. | Closed
  2. | Listen
  3. | Syn_rcvd of Sequence.t
  4. | Syn_sent of Sequence.t
  5. | Established
  6. | Close_wait
  7. | Last_ack of Sequence.t
  8. | Fin_wait_1 of Sequence.t
  9. | Fin_wait_2 of int
  10. | Closing of Sequence.t
  11. | Time_wait
  12. | Reset
val pp_tcpstate : Stdlib.Format.formatter -> tcpstate -> unit
type close_cb = unit -> unit
type t
val state : t -> tcpstate
val t : id:int -> on_close:close_cb -> t
val on_close : t -> unit
val pp : Stdlib.Format.formatter -> t -> unit
val fin_wait_2_time : int64
val time_wait_time : int64
val finwait2timer : t -> int -> int64 -> unit Lwt.t
val timewait : t -> int64 -> unit Lwt.t
val tick : t -> action -> unit