perhaps change upstream to support a read-wait-operation and write-wait-operation?
Then (choice-operation ... (wait-operation cvar)) would be possible.
perhaps change upstream to support a read-wait-operation and write-wait-operation?
Then (choice-operation ... (wait-operation cvar)) would be possible.
perhaps change upstream to support a read-wait-operation and write-wait-operation? Then (choice-operation ... (wait-operation cvar)) would be possible.