random library Null safety

Properties

random Random
final