class type trans_out_obj_channel =A transactional output channel has a buffer for uncommitted data. This means that all data written to this channel is collected in the buffer until eitherobject
..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.
Inherits
method commit_work : unit -> unit
method rollback_work : unit -> unit