module Rx : functor (T : Mirage_time.S) -> sig ... endmodule Tx : functor (Time : Mirage_time.S) -> functor (Clock : Mirage_clock.MCLOCK) -> sig ... endPre-transmission queue
Tcp.Segmentmodule Rx : functor (T : Mirage_time.S) -> sig ... endmodule Tx : functor (Time : Mirage_time.S) -> functor (Clock : Mirage_clock.MCLOCK) -> sig ... endPre-transmission queue