mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
3 lines
99 B
Python
3 lines
99 B
Python
.NDArray: (T: Type, Shape: [Nat; _]) -> ClassType
|
|
.NDArray(T, _) <: Output T
|
|
.NDArray(_, _) <: Num
|