More Useful Operations

Someone may want to join a conference and simultaneously make a bid, but not require to hear any of the conference, until the floor of that bid manifests itself. <#1295#>Wait-Till-Turn<#1295#> u? : P b? : Bid FLOOR ASIDE QUEUE-BIDS ALLOWED u? users asides' = asides floor' = floor users' = users queue' = queue { b? } by+ It should be noted that unsuccessful operations have not been specified (i.e. error handling) for reasons of brevity.