package mirage-net-direct

You can search for identifiers within the package.

in-package search v0.2.0

mirage-net
- Net
  - Arp
  - Channel
    
    Shmem
    
    TCPv4
  - Checksum
  - Config
  - Datagram
    
    UDPv4
  - Dhcp
    
    Client
    
    Option
    
    Marshal
    
    Packet
    
    Unmarshal
  - Ethif
  - Flow
    
    Shmem
    
    TCPv4
  - Icmp
  - Ipv4
  - Manager
  - Nettypes
    
    CHANNEL
    
    DATAGRAM
    
    FLOW
  - Tcp
    
    Ack
    
    Delayed
    
    Immediate
    
    M
    
    Options
    
    Pcb
    
    Profiler
    
    Segment
    
    Rx
    
    Tx
    
    Sequence
    
    Sliding_window
    
    State
    
    Tcptimer
    
    User_buffer
    
    Rx
    
    Tx
    
    Window
    
    Wire
  - Udp

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val t : 
  rx_wnd_scale:int ->
  tx_wnd_scale:int ->
  rx_wnd:int ->
  tx_wnd:int ->
  rx_isn:Sequence.t ->
  tx_mss:int option ->
  tx_isn:Sequence.t ->
  t

val valid : t -> Sequence.t -> bool

val rx_advance : t -> int -> unit

val rx_advance_inseq : t -> int -> unit

val rx_nxt : t -> Sequence.t

val rx_nxt_inseq : t -> Sequence.t

val tx_advance : t -> int -> unit

val tx_ack : t -> Sequence.t -> int -> unit

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 : t -> Sequence.t -> unit

val set_ack_win : 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 alert_fast_rexmit : t -> Sequence.t -> unit

val rto : t -> float

val backoff_rto : t -> unit

val max_rexmits_done : t -> bool

val tx_totalbytes : t -> int

val rx_totalbytes : t -> int