// the rdma network module
module RDMANetwork = { Network, QueuePair, RDMASocket };