Fix CDDL

index.bs

@@ -3669,10 +3669,10 @@ NetworkResult = (
 )
 
 NetworkEvent = (
-    NetworkBeforeSendRequest //
-    NetworkResponseStarted //
-    NetworkResponseCompleted //
-    NetworkError
+    NetworkBeforeRequestSentEvent //
+    NetworkResponseStartedEvent //
+    NetworkResponseCompletedEvent //
+    NetworkFetchErrorEvent
 )
 
 </pre>
@@ -3739,9 +3739,9 @@ NetworkCookie = {
     path: text,
     expires: uint,
     size: uint,
-    httpOnly: boolean,
-    secure: boolean,
-    session: boolean,
+    httpOnly: bool,
+    secure: bool,
+    session: bool,
     sameSite: "strict" / "lax" / "none",
 };
 </pre>
@@ -3759,20 +3759,20 @@ of the cookie value.
 
 <pre class="cddl local-cddl">
 NetworkFetchTimingInfo = {
-    requestTime: uint,
-    redirectStart: uint,
-    redirectEnd: uint,
-    fetchStart: uint,
-    dnsStart: uint,
-    dnsEnd: uint,
-    connectStart: uint,
-    connectEnd: uint,
-    tlsStart: uint,
-    <!-- tlsEnd: uint this should be the same as connectEnd -->
-    requestStart: uint,
-    responseStart: uint,
-    <!-- TODO responseHeadersEnd: uint: Not sure quite what to use for this -->
-    responseEnd: uint,
+    requestTime: float,
+    redirectStart: float,
+    redirectEnd: float,
+    fetchStart: float,
+    dnsStart: float,
+    dnsEnd: float,
+    connectStart: float,
+    connectEnd: float,
+    tlsStart: float,
+    <!-- tlsEnd: float this should be the same as connectEnd -->
+    requestStart: float,
+    responseStart: float,
+    <!-- TODO responseHeadersEnd: float: Not sure quite what to use for this -->
+    responseEnd: float,
 };
 </pre>