Module specs 

Structs

ConnInfo

Connection metadata for simulated RDMA Send/Write.

Descriptor

Descriptor traveling in queues.

MessageMeta

Static metadata of a message contract.

ObservabilitySpec

Observability specification attached to a process, port, or message.

PortSpec

Complete specification of a single communication port.

ProcessSpec

Complete specification of a single semantic process.