Mini Shell

from typing import Any
import numpy as np

f8 = np.float64()
i8 = np.int64()
u8 = np.uint64()

f4 = np.float32()
i4 = np.int32()
u4 = np.uint32()

td = np.timedelta64(0, "D")
b_ = np.bool_()

b = bool()
f = float()
i = int()

AR_b: np.ndarray[Any, np.dtype[np.bool_]]
AR_m: np.ndarray[Any, np.dtype[np.timedelta64]]

# Time structures

reveal_type(td % td)  # E: timedelta64
reveal_type(AR_m % td)  # E: Any
reveal_type(td % AR_m)  # E: Any

reveal_type(divmod(td, td))  # E: Tuple[{int64}, timedelta64]
reveal_type(divmod(AR_m, td))  # E: Tuple[ndarray[Any, dtype[signedinteger[typing._64Bit]]], ndarray[Any, dtype[timedelta64]]]
reveal_type(divmod(td, AR_m))  # E: Tuple[ndarray[Any, dtype[signedinteger[typing._64Bit]]], ndarray[Any, dtype[timedelta64]]]

# Bool

reveal_type(b_ % b)  # E: {int8}
reveal_type(b_ % i)  # E: {int_}
reveal_type(b_ % f)  # E: {float64}
reveal_type(b_ % b_)  # E: {int8}
reveal_type(b_ % i8)  # E: {int64}
reveal_type(b_ % u8)  # E: {uint64}
reveal_type(b_ % f8)  # E: {float64}
reveal_type(b_ % AR_b)  # E: ndarray[Any, dtype[{int8}]]

reveal_type(divmod(b_, b))  # E: Tuple[{int8}, {int8}]
reveal_type(divmod(b_, i))  # E: Tuple[{int_}, {int_}]
reveal_type(divmod(b_, f))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(b_, b_))  # E: Tuple[{int8}, {int8}]
reveal_type(divmod(b_, i8))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(b_, u8))  # E: Tuple[{uint64}, {uint64}]
reveal_type(divmod(b_, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(b_, AR_b))  # E: ndarray[Any, dtype[{int8}]], ndarray[Any, dtype[{int8}]]]

reveal_type(b % b_)  # E: {int8}
reveal_type(i % b_)  # E: {int_}
reveal_type(f % b_)  # E: {float64}
reveal_type(b_ % b_)  # E: {int8}
reveal_type(i8 % b_)  # E: {int64}
reveal_type(u8 % b_)  # E: {uint64}
reveal_type(f8 % b_)  # E: {float64}
reveal_type(AR_b % b_)  # E: ndarray[Any, dtype[{int8}]]

reveal_type(divmod(b, b_))  # E: Tuple[{int8}, {int8}]
reveal_type(divmod(i, b_))  # E: Tuple[{int_}, {int_}]
reveal_type(divmod(f, b_))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(b_, b_))  # E: Tuple[{int8}, {int8}]
reveal_type(divmod(i8, b_))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(u8, b_))  # E: Tuple[{uint64}, {uint64}]
reveal_type(divmod(f8, b_))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(AR_b, b_))  # E: ndarray[Any, dtype[{int8}]], ndarray[Any, dtype[{int8}]]]

# int

reveal_type(i8 % b)  # E: {int64}
reveal_type(i8 % i)  # E: {int64}
reveal_type(i8 % f)  # E: {float64}
reveal_type(i8 % i8)  # E: {int64}
reveal_type(i8 % f8)  # E: {float64}
reveal_type(i4 % i8)  # E: {int64}
reveal_type(i4 % f8)  # E: {float64}
reveal_type(i4 % i4)  # E: {int32}
reveal_type(i4 % f4)  # E: {float32}
reveal_type(i8 % AR_b)  # E: ndarray[Any, dtype[signedinteger[Any]]]

reveal_type(divmod(i8, b))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(i8, i))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(i8, f))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i8, i8))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(i8, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i8, i4))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(i8, f4))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i4, i4))  # E: Tuple[{int32}, {int32}]
reveal_type(divmod(i4, f4))  # E: Tuple[{float32}, {float32}]
reveal_type(divmod(i8, AR_b))  # E: Tuple[ndarray[Any, dtype[signedinteger[Any]]], ndarray[Any, dtype[signedinteger[Any]]]]

reveal_type(b % i8)  # E: {int64}
reveal_type(i % i8)  # E: {int64}
reveal_type(f % i8)  # E: {float64}
reveal_type(i8 % i8)  # E: {int64}
reveal_type(f8 % i8)  # E: {float64}
reveal_type(i8 % i4)  # E: {int64}
reveal_type(f8 % i4)  # E: {float64}
reveal_type(i4 % i4)  # E: {int32}
reveal_type(f4 % i4)  # E: {float32}
reveal_type(AR_b % i8)  # E: ndarray[Any, dtype[signedinteger[Any]]]

reveal_type(divmod(b, i8))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(i, i8))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(f, i8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i8, i8))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(f8, i8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i4, i8))  # E: Tuple[{int64}, {int64}]
reveal_type(divmod(f4, i8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i4, i4))  # E: Tuple[{int32}, {int32}]
reveal_type(divmod(f4, i4))  # E: Tuple[{float32}, {float32}]
reveal_type(divmod(AR_b, i8))  # E: Tuple[ndarray[Any, dtype[signedinteger[Any]]], ndarray[Any, dtype[signedinteger[Any]]]]

# float

reveal_type(f8 % b)  # E: {float64}
reveal_type(f8 % i)  # E: {float64}
reveal_type(f8 % f)  # E: {float64}
reveal_type(i8 % f4)  # E: {float64}
reveal_type(f4 % f4)  # E: {float32}
reveal_type(f8 % AR_b)  # E: ndarray[Any, dtype[floating[Any]]]

reveal_type(divmod(f8, b))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f8, i))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f8, f))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f8, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f8, f4))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f4, f4))  # E: Tuple[{float32}, {float32}]
reveal_type(divmod(f8, AR_b))  # E: Tuple[ndarray[Any, dtype[floating[Any]]], ndarray[Any, dtype[floating[Any]]]]

reveal_type(b % f8)  # E: {float64}
reveal_type(i % f8)  # E: {float64}
reveal_type(f % f8)  # E: {float64}
reveal_type(f8 % f8)  # E: {float64}
reveal_type(f8 % f8)  # E: {float64}
reveal_type(f4 % f4)  # E: {float32}
reveal_type(AR_b % f8)  # E: ndarray[Any, dtype[floating[Any]]]

reveal_type(divmod(b, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(i, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f8, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f4, f8))  # E: Tuple[{float64}, {float64}]
reveal_type(divmod(f4, f4))  # E: Tuple[{float32}, {float32}]
reveal_type(divmod(AR_b, f8))  # E: Tuple[ndarray[Any, dtype[floating[Any]]], ndarray[Any, dtype[floating[Any]]]]