erg/compiler/erg_compiler/lib/pystd/random.d.er
2022-10-19 01:50:14 +09:00

3 lines
128 B
Python

.seed!: (a := Num, version := Int) => NoneType
.randint!: (a: Int, b: Int) => Int
.choice!: |T: Type, S <: Seq(T)|(seq: S) => T