@@ -0,0 +1,9 @@
+// Duktape built-ins
+
+// extracted from lib.d.ts
+declare interface Console {
+ log(message?: any, ...optionalParams: any[]): void;
+}
+declare var console:Console;