Module Batteries.Legacy.Random


module Random: Random