Class Cf_state_gadget.tx

class [['x, 'i, 'o]] tx : ('x, 'i, 'o) wire -> object .. end
The class of transmitter objects.
Inherits
method put : 's. 'x -> ('s, 'i, 'o, unit) t
Use tx#put obj to schedule the message obj for deliver on the associated wire.