Up – Package index » tcpip » Library tcpip.tcp » Tcp » Tcptimer

Module `Tcp.Tcptimer`Source

tcpip
- CHANGES
- LICENSE
- README
- Library tcpip
  - Tcpip
- Library tcpip.checksum
  - Tcpip_checksum
- Library tcpip.icmpv4
- Library tcpip.icmpv4-socket
  - Icmpv4_socket
- Library tcpip.ipv4
- Library tcpip.ipv6
- Library tcpip.stack-direct
  - Tcpip_stack_direct
- Library tcpip.stack-socket
- Library tcpip.tcp
  - Tcp
- Library tcpip.tcp_socket_options
  - Tcp_socket_options
- Library tcpip.tcpv4v6-socket
  - Tcp_socket
  - Tcpv4v6_socket
- Library tcpip.udp
- Library tcpip.udpv4v6-socket
  - Udpv4v6_socket
- Sources

Sourcetype t

Sourcetype time = int64

Sourcetype tr =

| Stoptimer
| Continue of Sequence.t
| ContinueSetPeriod of time * Sequence.t

Sourcemodule Make (T : Mirage_time.S) : sig ... end