erg/crates/erg_compiler/lib/pystd/numbers.d.er
2023-05-05 12:40:47 +09:00

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