Manuscript Hawk05-C@1 · Hawk05-C.tex · section · ba0719f1
Destructive Enter
Complete interfaces and the two return types › Destructive Enter · lines 488–495
In particular, a record-only endpoint cannot have a constant complete complement. Terminal residual readout and discard do not improve the already-returned accessible channel CheungEn07A,CheungEn07B.