diff -r 000000000000 -r b3daa2ebea2f Microbit/random.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Microbit/random.py Sat Aug 24 17:04:25 2019 +0200
@@ -0,0 +1,35 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module containing stubs for API generation of the 'random' module.
+"""
+
+def getrandbits(n):
+ pass
+
+def seed(n):
+ pass
+
+def randint(a, b):
+ pass
+
+def randrange(stop):
+ pass
+
+def randrange(start, stop):
+ pass
+
+def randrange(start, stop, step):
+ pass
+
+def choice(seq):
+ pass
+
+def random():
+ pass
+
+def uniform(a, b):
+ pass
