/specs/RDMASocket/PSrc/RDMAModules.p

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