Creates a scheduled operation with a device-determined duration.

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