--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/MicroPython/ujson.py	Sun Aug 25 19:25:37 2019 +0200
@@ -0,0 +1,20 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module containing stubs for API generation of the def 'ujson' module.
+"""
+
+def dump(obj, stream):
+    pass
+
+def dumps(obj):
+    pass
+
+def load(stream):
+    pass
+
+def loads(string):
+    pass