The W3C specification defines this callback as: callback FrameRequestCallback = void (DOMHighResTimeStamp time); See: http://www.w3.org/TR/animation-timing/#framerequestcallback
@@ -23,4 +23,4 @@
// This file is generated, do not edit!
package js.html;
-typedef RequestAnimationFrameCallback = Float -> Bool;
+typedef RequestAnimationFrameCallback = Float -> Void;