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
module Make (Time : Mirage_time.S) : sig ... end