Module Tcp.StateSource

Sourcetype 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
Sourceval pp_action : Format.formatter -> action -> unit
Sourcetype 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
Sourceval pp_tcpstate : Format.formatter -> tcpstate -> unit
Sourcetype close_cb = unit -> unit
Sourcetype t
Sourceval state : t -> tcpstate
Sourceval t : id:int -> on_close:close_cb -> t
Sourceval on_close : t -> unit
Sourceval pp : Format.formatter -> t -> unit
Sourceval fin_wait_2_time : int64
Sourceval time_wait_time : int64
Sourceval finwait2timer : t -> int -> int64 -> unit Lwt.t
Sourceval timewait : t -> int64 -> unit Lwt.t
Sourceval tick : t -> action -> unit