class type trans_out_obj_channel =object..end
commit_work or rollback_work is called.
When the channel is closed, the buffer may optionally be committed. This is implementation-defined.
The method flush does not have any effect on the transaction
buffer.
method commit_work : unit -> unitmethod rollback_work : unit -> unit