DeviceAvailability module-attribute ¶ DeviceAvailability: TypeAlias = Literal[ "TEMPORARY_NOT_AVAILABLE", "BUSY", "AVAILABLE", "HIGHLY_AVAILABLE" ]