2019-09-12 10:33:56 -07:00
|
|
|
import extensions;
|
2016-12-05 22:15:40 +01:00
|
|
|
|
2017-09-23 10:01:46 +02:00
|
|
|
extension listOp
|
2016-12-05 22:15:40 +01:00
|
|
|
{
|
2019-09-12 10:33:56 -07:00
|
|
|
randomItem()
|
|
|
|
|
= self[randomGenerator.eval(self.Length)];
|
2016-12-05 22:15:40 +01:00
|
|
|
}
|
|
|
|
|
|
2019-09-12 10:33:56 -07:00
|
|
|
public program()
|
|
|
|
|
{
|
2020-02-17 23:21:07 -08:00
|
|
|
var item := new int[]::(0, 1, 2, 3, 4, 5, 6, 7, 8, 9);
|
2016-12-05 22:15:40 +01:00
|
|
|
|
2019-09-12 10:33:56 -07:00
|
|
|
console.printLine("I picked element ",item.randomItem())
|
|
|
|
|
}
|
