fix(cddl): fix CDDL syntax for emulation.SetGeolocationOverrideParameters

Author: christian-bromann

index.bs

@@ -5624,14 +5624,23 @@ The <dfn export for=commands>emulation.setGeolocationOverride</dfn> command modi
         params: emulation.SetGeolocationOverrideParameters
       )
 
-      emulation.SetGeolocationOverrideParameters = {
-        (
-          (coordinates: emulation.GeolocationCoordinates / null) //
-          (error: emulation.GeolocationPositionError)
-        ),
+      emulation.SetGeolocationOverrideParameters = (
+        emulation.SetGeolocationOverrideSuccessParameters /
+        emulation.SetGeolocationOverrideErrorParameters
+      )
+
+      emulation.SetGeolocationOverrideBaseParameters = (
         ? contexts: [+browsingContext.BrowsingContext],
         ? userContexts: [+browser.UserContext],
-      }
+      )
+
+      emulation.SetGeolocationOverrideSuccessParameters = {
+        coordinates: emulation.GeolocationCoordinates / null
+      } & emulation.SetGeolocationOverrideBaseParameters
+
+      emulation.SetGeolocationOverrideErrorParameters = {
+        error: emulation.GeolocationPositionError
+      } & emulation.SetGeolocationOverrideBaseParameters
 
       emulation.GeolocationCoordinates = {
          latitude: -90.0..90.0,