From 7086cdfd08e04a22bdb237990e32d54530c98130 Mon Sep 17 00:00:00 2001 From: Evgeni Burovski Date: Mon, 23 Jun 2025 12:27:32 +0200 Subject: [PATCH] DOC: default_device can be None --- src/array_api_stubs/_draft/info.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/array_api_stubs/_draft/info.py b/src/array_api_stubs/_draft/info.py index fd3ea9e84..1c15fc3ba 100644 --- a/src/array_api_stubs/_draft/info.py +++ b/src/array_api_stubs/_draft/info.py @@ -80,7 +80,9 @@ def default_device() -> device: Returns ------- out: device - an object corresponding to the default device. + an object corresponding to the default device or ``None``. + A conforming array library may return ``None`` if the default device is not + predictable due to library specific device placement rules. Notes ----- pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy