Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Protocol.CommandSourceOnce a connection has been established, the client can submit commands.
type t = | ReadRead a block of data
*)| WriteWrite a block of data
*)| DiscDisconnect: server must flush all outstanding commands and then will close the connection
*)| FlushA flush request or write barrier. All requests received before this one will have completed before this command is acknowledged.
*)| TrimA hint that a data region is nolonger required and may be discarded.
*)| Unknown of int32A command which this protocol implementation doesn't suport.
*)