mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-23 04:55:24 +00:00
16 lines
316 B
Python
16 lines
316 B
Python
.Number: ClassType
|
|
.Complex: ClassType
|
|
.Complex <: .Number
|
|
.Complex.
|
|
real: Float
|
|
imag: Float
|
|
conjugate: |C <: .Complex|(self: C) -> C
|
|
.Real: ClassType
|
|
.Real <: .Complex
|
|
.Rational: ClassType
|
|
.Rational <: .Real
|
|
.Rational.
|
|
numerator: Int
|
|
denominator: Int
|
|
.Integral: ClassType
|
|
.Integral <: .Rational
|