From d52168c3d628d630a28cc88c5769d87d7568b94b Mon Sep 17 00:00:00 2001 From: lanctot Date: Sat, 11 May 2024 22:21:46 +0000 Subject: [PATCH] Add GameParameter type to open_spiel/python/__init__.py --- open_spiel/__init__.py | 2 +- open_spiel/python/__init__.py | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/open_spiel/__init__.py b/open_spiel/__init__.py index c4f0e91918..8614d7a028 100644 --- a/open_spiel/__init__.py +++ b/open_spiel/__init__.py @@ -14,4 +14,4 @@ # The existence of this file allows us to have PYTHONPATH pointing to # the parent of this directory and then use: -# from open_spiel.python import rl_environment +# from open_spiel.python import rl_environment diff --git a/open_spiel/python/__init__.py b/open_spiel/python/__init__.py index 3f0c6833cc..ae7ad5dc52 100644 --- a/open_spiel/python/__init__.py +++ b/open_spiel/python/__init__.py @@ -12,3 +12,5 @@ # See the License for the specific language governing permissions and # limitations under the License. +from typing import Dict, Union +GameParameter = Union[int, float, str, bool, Dict[str, 'GameParameter']]