[ NoAccessorMethod ]
public GenericArray<void*> requests_satisfied { owned get; construct; }
A GenericArray containing ChannelRequest objects representing the requests that have been passed to HandleChannels.
Read-only except during construction.
This property can't be null
.