code: def op_at_on(operation: ops.Operation,
                   time: Timestamp,
                   device: Device):
          
          return ScheduledOperation(time,
                                    device.duration_of(operation),
                                    operation)
docs: Creates a scheduled operation with a device-determined duration.