cddl2java 0.0.0

package/tests/bidi.cddl

@@ -0,0 +1,2511 @@
+Message = (
+  CommandResponse /
+  ErrorResponse /
+  Event
+)
+
+CommandResponse = {
+  type: "success",
+  id: js-uint,
+  result: ResultData,
+  Extensible
+}
+
+ErrorResponse = {
+  type: "error",
+  id: js-uint / null,
+  error: ErrorCode,
+  message: text,
+  ? stacktrace: text,
+  Extensible
+}
+
+ResultData = (
+  BrowsingContextResult /
+  EmptyResult /
+  NetworkResult /
+  ScriptResult /
+  SessionResult /
+  StorageResult /
+  WebExtensionResult
+)
+
+EmptyResult = {
+  Extensible
+}
+
+Event = {
+  type: "event",
+  EventData,
+  Extensible
+}
+
+EventData = (
+  BrowsingContextEvent //
+  InputEvent //
+  LogEvent //
+  NetworkEvent //
+  ScriptEvent
+)
+
+Extensible = (*text => any)
+
+js-int = -9007199254740991..9007199254740991
+js-uint = 0..9007199254740991
+
+ErrorCode = "invalid argument" /
+            "invalid selector" /
+            "invalid session id" /
+            "invalid web extension" /
+            "move target out of bounds" /
+            "no such alert" /
+            "no such element" /
+            "no such frame" /
+            "no such handle" /
+            "no such history entry" /
+            "no such intercept" /
+            "no such node" /
+            "no such request" /
+            "no such script" /
+            "no such storage partition" /
+            "no such user context" /
+            "no such web extension" /
+            "session not created" /
+            "unable to capture screen" /
+            "unable to close browser" /
+            "unable to set cookie" /
+            "unable to set file input" /
+            "underspecified storage partition" /
+            "unknown command" /
+            "unknown error" /
+            "unsupported operation"
+
+SessionResult = (
+   session.NewResult /
+   session.StatusResult /
+   session.SubscribeResult
+)
+
+session.CapabilitiesRequest = {
+  ? alwaysMatch: session.CapabilityRequest,
+  ? firstMatch: [*session.CapabilityRequest]
+}
+
+session.CapabilityRequest = {
+  ? acceptInsecureCerts: bool,
+  ? browserName: text,
+  ? browserVersion: text,
+  ? platformName: text,
+  ? proxy: session.ProxyConfiguration,
+  ? unhandledPromptBehavior: session.UserPromptHandler,
+  Extensible
+}
+
+session.ProxyConfiguration = session.AutodetectProxyConfiguration / session.DirectProxyConfiguration / session.ManualProxyConfiguration / session.PacProxyConfiguration / session.SystemProxyConfiguration
+
+session.UserPromptHandler = {
+  ? alert: session.UserPromptHandlerType,
+  ? beforeUnload: session.UserPromptHandlerType,
+  ? confirm: session.UserPromptHandlerType,
+  ? default: session.UserPromptHandlerType,
+  ? file: session.UserPromptHandlerType,
+  ? prompt: session.UserPromptHandlerType,
+}
+
+session.UserPromptHandlerType = "accept" / "dismiss" / "ignore";
+
+session.Subscription = text
+
+session.StatusResult = {
+  ready: bool,
+  message: text,
+}
+
+session.NewResult = {
+  sessionId: text,
+  capabilities: {
+    acceptInsecureCerts: bool,
+    browserName: text,
+    browserVersion: text,
+    platformName: text,
+    setWindowRect: bool,
+    userAgent: text,
+    ? proxy: session.ProxyConfiguration,
+    ? unhandledPromptBehavior: session.UserPromptHandler,
+    ? webSocketUrl: text,
+    Extensible
+  }
+}
+
+session.SubscribeResult = {
+  subscription: session.Subscription,
+}
+
+BrowserResult = (
+   browser.CreateUserContextResult /
+   browser.GetUserContextsResult
+)
+
+browser.ClientWindow = text;
+
+browser.ClientWindowInfo = {
+  active: bool,
+  clientWindow: browser.ClientWindow,
+  height: js-uint,
+  state: "fullscreen" / "maximized" / "minimized" / "normal",
+  width: js-uint,
+  x: js-int,
+  y: js-int,
+}
+
+browser.UserContext = text;
+
+browser.UserContextInfo = {
+  userContext: browser.UserContext
+}
+
+browser.CreateUserContextResult = browser.UserContextInfo
+
+browser.GetClientWindowsResult = {
+  clientWindows: [ * browser.ClientWindowInfo]
+}
+
+browser.GetUserContextsResult = {
+  userContexts: [ + browser.UserContextInfo]
+}
+
+BrowsingContextResult = (
+  browsingContext.CaptureScreenshotResult /
+  browsingContext.CreateResult /
+  browsingContext.GetTreeResult /
+  browsingContext.LocateNodesResult /
+  browsingContext.NavigateResult /
+  browsingContext.PrintResult /
+  browsingContext.TraverseHistoryResult
+)
+
+BrowsingContextEvent = (
+  browsingContext.ContextCreated //
+  browsingContext.ContextDestroyed //
+  browsingContext.DomContentLoaded //
+  browsingContext.DownloadWillBegin //
+  browsingContext.FragmentNavigated //
+  browsingContext.HistoryUpdated //
+  browsingContext.Load //
+  browsingContext.NavigationAborted //
+  browsingContext.NavigationCommitted //
+  browsingContext.NavigationFailed //
+  browsingContext.NavigationStarted //
+  browsingContext.UserPromptClosed //
+  browsingContext.UserPromptOpened
+)
+
+browsingContext.BrowsingContext = text;
+
+browsingContext.InfoList = [*browsingContext.Info]
+
+browsingContext.Info = {
+  children: browsingContext.InfoList / null,
+  clientWindow: browser.ClientWindow,
+  context: browsingContext.BrowsingContext,
+  originalOpener: browsingContext.BrowsingContext / null,
+  url: text,
+  userContext: browser.UserContext,
+  ? parent: browsingContext.BrowsingContext / null,
+}
+
+browsingContext.Locator = (
+   browsingContext.AccessibilityLocator /
+   browsingContext.CssLocator /
+   browsingContext.ContextLocator /
+   browsingContext.InnerTextLocator /
+   browsingContext.XPathLocator
+)
+
+browsingContext.AccessibilityLocator = {
+   type: "accessibility",
+   value: {
+    ? name: text,
+    ? role: text,
+   }
+}
+
+browsingContext.CssLocator = {
+   type: "css",
+   value: text
+}
+
+browsingContext.ContextLocator = {
+  type: "context",
+  value: {
+    context: browsingContext.BrowsingContext,
+  }
+}
+
+browsingContext.InnerTextLocator = {
+   type: "innerText",
+   value: text,
+   ? ignoreCase: bool
+   ? matchType: "full" / "partial",
+   ? maxDepth: js-uint,
+}
+
+browsingContext.XPathLocator = {
+   type: "xpath",
+   value: text
+}
+
+browsingContext.Navigation = text;
+
+browsingContext.BaseNavigationInfo = (
+  context: browsingContext.BrowsingContext,
+  navigation: browsingContext.Navigation / null,
+  timestamp: js-uint,
+  url: text,
+)
+
+browsingContext.NavigationInfo = {
+  browsingContext.BaseNavigationInfo
+}
+
+browsingContext.UserPromptType = "alert" / "beforeunload" / "confirm" / "prompt";
+
+browsingContext.CaptureScreenshotResult = {
+  data: text
+}
+
+browsingContext.CreateResult = {
+  context: browsingContext.BrowsingContext
+}
+
+browsingContext.GetTreeResult = {
+  contexts: browsingContext.InfoList
+}
+
+browsingContext.LocateNodesResult = {
+    nodes: [ * script.NodeRemoteValue ]
+}
+
+browsingContext.NavigateResult = {
+  navigation: browsingContext.Navigation / null,
+  url: text,
+}
+
+browsingContext.PrintResult = {
+  data: text
+}
+
+browsingContext.TraverseHistoryResult = {
+}
+
+browsingContext.ContextCreated = (
+ method: "browsingContext.contextCreated",
+ params: browsingContext.Info
+)
+
+browsingContext.ContextDestroyed = (
+ method: "browsingContext.contextDestroyed",
+ params: browsingContext.Info
+)
+
+browsingContext.NavigationStarted = (
+ method: "browsingContext.navigationStarted",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.FragmentNavigated = (
+ method: "browsingContext.fragmentNavigated",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.HistoryUpdated = (
+  method: "browsingContext.historyUpdated",
+  params: browsingContext.HistoryUpdatedParameters
+)
+
+browsingContext.HistoryUpdatedParameters = {
+  context: browsingContext.BrowsingContext,
+  url: text
+}
+
+browsingContext.DomContentLoaded = (
+ method: "browsingContext.domContentLoaded",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.Load = (
+ method: "browsingContext.load",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.DownloadWillBegin = (
+ method: "browsingContext.downloadWillBegin",
+ params: browsingContext.DownloadWillBeginParams
+)
+
+browsingContext.DownloadWillBeginParams = {
+  suggestedFilename: text,
+  browsingContext.BaseNavigationInfo
+}
+
+browsingContext.NavigationAborted = (
+ method: "browsingContext.navigationAborted",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.NavigationCommitted = (
+ method: "browsingContext.navigationCommitted",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.NavigationFailed = (
+ method: "browsingContext.navigationFailed",
+ params: browsingContext.NavigationInfo
+)
+
+browsingContext.UserPromptClosed = (
+  method: "browsingContext.userPromptClosed",
+  params: browsingContext.UserPromptClosedParameters
+)
+
+browsingContext.UserPromptClosedParameters = {
+  context: browsingContext.BrowsingContext,
+  accepted: bool,
+  type: browsingContext.UserPromptType,
+  ? userText: text
+}
+
+browsingContext.UserPromptOpened = (
+  method: "browsingContext.userPromptOpened",
+  params: browsingContext.UserPromptOpenedParameters
+)
+
+browsingContext.UserPromptOpenedParameters = {
+  context: browsingContext.BrowsingContext,
+  handler: session.UserPromptHandlerType,
+  message: text,
+  type: browsingContext.UserPromptType,
+  ? defaultValue: text
+}
+
+
+NetworkResult = (
+   network.AddInterceptResult
+)
+
+NetworkEvent = (
+    network.AuthRequired //
+    network.BeforeRequestSent //
+    network.FetchError //
+    network.ResponseCompleted //
+    network.ResponseStarted
+)
+
+
+network.AuthChallenge = {
+  scheme: text,
+  realm: text,
+}
+
+network.BaseParameters = (
+    context: browsingContext.BrowsingContext / null,
+    isBlocked: bool,
+    navigation: browsingContext.Navigation / null,
+    redirectCount: js-uint,
+    request: network.RequestData,
+    timestamp: js-uint,
+    ? intercepts: [+network.Intercept]
+)
+
+network.BytesValue = network.StringValue / network.Base64Value;
+
+network.StringValue = {
+  type: "string",
+  value: text,
+}
+
+network.Base64Value = {
+  type: "base64",
+  value: text,
+}
+
+
+network.SameSite = "strict" / "lax" / "none"
+
+
+network.Cookie = {
+    name: text,
+    value: network.BytesValue,
+    domain: text,
+    path: text,
+    size: js-uint,
+    httpOnly: bool,
+    secure: bool,
+    sameSite: network.SameSite,
+    ? expiry: js-uint,
+    Extensible,
+}
+
+network.FetchTimingInfo = {
+    timeOrigin: float,
+    requestTime: float,
+    redirectStart: float,
+    redirectEnd: float,
+    fetchStart: float,
+    dnsStart: float,
+    dnsEnd: float,
+    connectStart: float,
+    connectEnd: float,
+    tlsStart: float,
+
+    requestStart: float,
+    responseStart: float,
+
+    responseEnd: float,
+}
+
+network.Header = {
+  name: text,
+  value: network.BytesValue,
+}
+
+network.Initiator = {
+    ? columnNumber: js-uint,
+    ? lineNumber: js-uint,
+    ? request: network.Request,
+    ? stackTrace: script.StackTrace,
+    ? type: "parser" / "script" / "preflight" / "other"
+}
+
+network.Intercept = text
+
+network.Request = text;
+
+network.RequestData = {
+    request: network.Request,
+    url: text,
+    method: text,
+    headers: [*network.Header],
+    cookies: [*network.Cookie],
+    headersSize: js-uint,
+    bodySize: js-uint / null,
+    destination: text,
+    initiatorType: text / null,
+    timings: network.FetchTimingInfo,
+}
+
+network.ResponseContent = {
+    size: js-uint
+}
+
+network.ResponseData = {
+    url: text,
+    protocol: text,
+    status: js-uint,
+    statusText: text,
+    fromCache: bool,
+    headers: [*network.Header],
+    mimeType: text,
+    bytesReceived: js-uint,
+    headersSize: js-uint / null,
+    bodySize: js-uint / null,
+    content: network.ResponseContent,
+    ?authChallenges: [*network.AuthChallenge],
+}
+
+network.AddInterceptResult = {
+  intercept: network.Intercept
+}
+
+network.AuthRequired = (
+  method: "network.authRequired",
+  params: network.AuthRequiredParameters
+)
+
+network.AuthRequiredParameters = {
+  network.BaseParameters,
+  response: network.ResponseData
+}
+
+ network.BeforeRequestSent = (
+  method: "network.beforeRequestSent",
+  params: network.BeforeRequestSentParameters
+ )
+
+network.BeforeRequestSentParameters = {
+  network.BaseParameters,
+  ? initiator: network.Initiator,
+}
+
+ network.FetchError = (
+  method: "network.fetchError",
+  params: network.FetchErrorParameters
+ )
+
+network.FetchErrorParameters = {
+  network.BaseParameters,
+  errorText: text,
+}
+
+ network.ResponseCompleted = (
+  method: "network.responseCompleted",
+  params: network.ResponseCompletedParameters
+ )
+
+network.ResponseCompletedParameters = {
+  network.BaseParameters,
+  response: network.ResponseData,
+}
+
+ network.ResponseStarted = (
+  method: "network.responseStarted",
+  params: network.ResponseStartedParameters
+ )
+
+network.ResponseStartedParameters = {
+  network.BaseParameters,
+  response: network.ResponseData,
+}
+
+ScriptResult = (
+  script.AddPreloadScriptResult /
+  script.EvaluateResult /
+  script.GetRealmsResult
+)
+
+ScriptEvent = (
+  script.Message //
+  script.RealmCreated //
+  script.RealmDestroyed
+)
+
+script.Channel = text;
+
+script.ChannelValue = {
+  type: "channel",
+  value: script.ChannelProperties,
+}
+
+script.ChannelProperties = {
+  channel: script.Channel,
+  ? serializationOptions: script.SerializationOptions,
+  ? ownership: script.ResultOwnership,
+}
+
+script.EvaluateResult = (
+  script.EvaluateResultSuccess /
+  script.EvaluateResultException
+)
+
+script.EvaluateResultSuccess = {
+  type: "success",
+  result: script.RemoteValue,
+  realm: script.Realm
+}
+
+script.EvaluateResultException = {
+  type: "exception",
+  exceptionDetails: script.ExceptionDetails
+  realm: script.Realm
+}
+
+script.ExceptionDetails = {
+  columnNumber: js-uint,
+  exception: script.RemoteValue,
+  lineNumber: js-uint,
+  stackTrace: script.StackTrace,
+  text: text,
+}
+
+script.Handle = text;
+
+script.InternalId = text;
+
+script.LocalValue = (
+  script.RemoteReference /
+  script.PrimitiveProtocolValue /
+  script.ChannelValue /
+  script.ArrayLocalValue /
+  script.DateLocalValue /
+  script.MapLocalValue /
+  script.ObjectLocalValue /
+  script.RegExpLocalValue /
+  script.SetLocalValue
+)
+
+script.ListLocalValue = [*script.LocalValue];
+
+script.ArrayLocalValue = {
+  type: "array",
+  value: script.ListLocalValue,
+}
+
+script.DateLocalValue = {
+  type: "date",
+  value: text
+}
+
+script.MappingLocalValue = [*[(script.LocalValue / text), script.LocalValue]];
+
+script.MapLocalValue = {
+  type: "map",
+  value: script.MappingLocalValue,
+}
+
+script.ObjectLocalValue = {
+  type: "object",
+  value: script.MappingLocalValue,
+}
+
+script.RegExpValue = {
+  pattern: text,
+  ? flags: text,
+}
+
+script.RegExpLocalValue = {
+  type: "regexp",
+  value: script.RegExpValue,
+}
+
+script.SetLocalValue = {
+  type: "set",
+  value: script.ListLocalValue,
+}
+
+script.PreloadScript = text;
+
+script.Realm = text;
+
+script.PrimitiveProtocolValue = (
+  script.UndefinedValue /
+  script.NullValue /
+  script.StringValue /
+  script.NumberValue /
+  script.BooleanValue /
+  script.BigIntValue
+)
+
+script.UndefinedValue = {
+  type: "undefined",
+}
+
+script.NullValue = {
+  type: "null",
+}
+
+script.StringValue = {
+  type: "string",
+  value: text,
+}
+
+script.SpecialNumber = "NaN" / "-0" / "Infinity" / "-Infinity";
+
+script.NumberValue = {
+  type: "number",
+  value: number / script.SpecialNumber,
+}
+
+script.BooleanValue = {
+  type: "boolean",
+  value: bool,
+}
+
+script.BigIntValue = {
+  type: "bigint",
+  value: text,
+}
+
+script.RealmInfo = (
+  script.WindowRealmInfo /
+  script.DedicatedWorkerRealmInfo /
+  script.SharedWorkerRealmInfo /
+  script.ServiceWorkerRealmInfo /
+  script.WorkerRealmInfo /
+  script.PaintWorkletRealmInfo /
+  script.AudioWorkletRealmInfo /
+  script.WorkletRealmInfo
+)
+
+script.BaseRealmInfo = (
+  realm: script.Realm,
+  origin: text
+)
+
+script.WindowRealmInfo = {
+  script.BaseRealmInfo,
+  type: "window",
+  context: browsingContext.BrowsingContext,
+  ? sandbox: text
+}
+
+script.DedicatedWorkerRealmInfo = {
+  script.BaseRealmInfo,
+  type: "dedicated-worker",
+  owners: [script.Realm]
+}
+
+script.SharedWorkerRealmInfo = {
+  script.BaseRealmInfo,
+  type: "shared-worker"
+}
+
+script.ServiceWorkerRealmInfo = {
+  script.BaseRealmInfo,
+  type: "service-worker"
+}
+
+script.WorkerRealmInfo = {
+  script.BaseRealmInfo,
+  type: "worker"
+}
+
+script.PaintWorkletRealmInfo = {
+  script.BaseRealmInfo,
+  type: "paint-worklet"
+}
+
+script.AudioWorkletRealmInfo = {
+  script.BaseRealmInfo,
+  type: "audio-worklet"
+}
+
+script.WorkletRealmInfo = {
+  script.BaseRealmInfo,
+  type: "worklet"
+}
+
+script.RealmType = "window" / "dedicated-worker" / "shared-worker" / "service-worker" /
+                   "worker" / "paint-worklet" / "audio-worklet" / "worklet"
+
+
+
+script.RemoteReference = (
+  script.SharedReference /
+  script.RemoteObjectReference
+)
+
+script.SharedReference = {
+   sharedId: script.SharedId
+
+   ? handle: script.Handle,
+   Extensible
+}
+
+script.RemoteObjectReference = {
+   handle: script.Handle,
+
+   ? sharedId: script.SharedId
+   Extensible
+}
+
+script.RemoteValue = (
+  script.PrimitiveProtocolValue /
+  script.SymbolRemoteValue /
+  script.ArrayRemoteValue /
+  script.ObjectRemoteValue /
+  script.FunctionRemoteValue /
+  script.RegExpRemoteValue /
+  script.DateRemoteValue /
+  script.MapRemoteValue /
+  script.SetRemoteValue /
+  script.WeakMapRemoteValue /
+  script.WeakSetRemoteValue /
+  script.GeneratorRemoteValue /
+  script.ErrorRemoteValue /
+  script.ProxyRemoteValue /
+  script.PromiseRemoteValue /
+  script.TypedArrayRemoteValue /
+  script.ArrayBufferRemoteValue /
+  script.NodeListRemoteValue /
+  script.HTMLCollectionRemoteValue /
+  script.NodeRemoteValue /
+  script.WindowProxyRemoteValue
+)
+
+script.ListRemoteValue = [*script.RemoteValue];
+
+script.MappingRemoteValue = [*[(script.RemoteValue / text), script.RemoteValue]];
+
+script.SymbolRemoteValue = {
+  type: "symbol",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ArrayRemoteValue = {
+  type: "array",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue,
+}
+
+script.ObjectRemoteValue = {
+  type: "object",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.MappingRemoteValue,
+}
+
+script.FunctionRemoteValue = {
+  type: "function",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.MapRemoteValue = {
+  type: "map",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.MappingRemoteValue,
+}
+
+script.SetRemoteValue = {
+  type: "set",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue
+}
+
+script.WeakMapRemoteValue = {
+  type: "weakmap",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.WeakSetRemoteValue = {
+  type: "weakset",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.GeneratorRemoteValue = {
+  type: "generator",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ErrorRemoteValue = {
+  type: "error",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ProxyRemoteValue = {
+  type: "proxy",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.PromiseRemoteValue = {
+  type: "promise",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.TypedArrayRemoteValue = {
+  type: "typedarray",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ArrayBufferRemoteValue = {
+  type: "arraybuffer",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.NodeListRemoteValue = {
+  type: "nodelist",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue,
+}
+
+script.HTMLCollectionRemoteValue = {
+  type: "htmlcollection",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue,
+}
+
+script.NodeRemoteValue = {
+  type: "node",
+  ? sharedId: script.SharedId,
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.NodeProperties,
+}
+
+script.NodeProperties = {
+  nodeType: js-uint,
+  childNodeCount: js-uint,
+  ? attributes: {*text => text},
+  ? children: [*script.NodeRemoteValue],
+  ? localName: text,
+  ? mode: "open" / "closed",
+  ? namespaceURI: text,
+  ? nodeValue: text,
+  ? shadowRoot: script.NodeRemoteValue / null,
+}
+
+script.WindowProxyRemoteValue = {
+  type: "window",
+  value: script.WindowProxyProperties,
+  ? handle: script.Handle,
+  ? internalId: script.InternalId
+}
+
+script.WindowProxyProperties = {
+  context: browsingContext.BrowsingContext
+}
+
+script.ResultOwnership = "root" / "none"
+
+script.SerializationOptions = {
+  ? maxDomDepth: (js-uint / null) .default 0,
+  ? maxObjectDepth: (js-uint / null) .default null,
+  ? includeShadowTree: ("none" / "open" / "all") .default "none",
+}
+
+script.SharedId = text;
+
+script.StackFrame = {
+  columnNumber: js-uint,
+  functionName: text,
+  lineNumber: js-uint,
+  url: text,
+}
+
+script.StackTrace = {
+  callFrames: [*script.StackFrame],
+}
+
+script.Source = {
+  realm: script.Realm,
+  ? context: browsingContext.BrowsingContext
+}
+
+script.AddPreloadScriptResult = {
+  script: script.PreloadScript
+}
+
+script.GetRealmsResult = {
+  realms: [*script.RealmInfo]
+}
+
+ script.Message = (
+  method: "script.message",
+  params: script.MessageParameters
+ )
+
+script.MessageParameters = {
+  channel: script.Channel,
+  data: script.RemoteValue,
+  source: script.Source,
+}
+
+script.RealmCreated = (
+ method: "script.realmCreated",
+ params: script.RealmInfo
+)
+
+script.RealmDestroyed = (
+  method: "script.realmDestroyed",
+  params: script.RealmDestroyedParameters
+)
+
+script.RealmDestroyedParameters = {
+  realm: script.Realm
+}
+
+
+StorageResult = (
+  storage.DeleteCookiesResult /
+  storage.GetCookiesResult /
+  storage.SetCookieResult
+)
+
+storage.PartitionKey = {
+  ? userContext: text,
+  ? sourceOrigin: text,
+  Extensible,
+}
+
+storage.GetCookiesResult = {
+  cookies: [*network.Cookie],
+  partitionKey: storage.PartitionKey,
+}
+
+storage.SetCookieResult = {
+  partitionKey: storage.PartitionKey
+}
+
+storage.DeleteCookiesResult = {
+  partitionKey: storage.PartitionKey
+}
+
+LogEvent = (
+  log.EntryAdded
+)
+
+log.Level = "debug" / "info" / "warn" / "error"
+
+log.Entry = (
+  log.GenericLogEntry /
+  log.ConsoleLogEntry /
+  log.JavascriptLogEntry
+)
+
+log.BaseLogEntry = (
+  level: log.Level,
+  source: script.Source,
+  text: text / null,
+  timestamp: js-uint,
+  ? stackTrace: script.StackTrace,
+)
+
+log.GenericLogEntry = {
+  log.BaseLogEntry,
+  type: text,
+}
+
+log.ConsoleLogEntry = {
+  log.BaseLogEntry,
+  type: "console",
+  method: text,
+  args: [*script.RemoteValue],
+}
+
+log.JavascriptLogEntry = {
+  log.BaseLogEntry,
+  type: "javascript",
+}
+
+log.EntryAdded = (
+ method: "log.entryAdded",
+ params: log.Entry,
+)
+
+
+InputEvent = (
+  input.FileDialogOpened
+)
+
+input.FileDialogOpened = (
+   method: "input.fileDialogOpened",
+   params: input.FileDialogInfo
+)
+
+input.FileDialogInfo = {
+   context: browsingContext.BrowsingContext,
+   ? element: script.SharedReference,
+   multiple: bool,
+}
+
+WebExtensionResult = (
+  webExtension.InstallResult
+)
+
+webExtension.Extension = text
+
+webExtension.InstallResult = {
+  extension: webExtension.Extension
+}
+
+Command = {
+  id: js-uint,
+  CommandData,
+  Extensible,
+}
+
+CommandData = (
+  BrowserCommand //
+  BrowsingContextCommand //
+  EmulationCommand //
+  InputCommand //
+  NetworkCommand //
+  ScriptCommand //
+  SessionCommand //
+  StorageCommand //
+  WebExtensionCommand
+)
+
+EmptyParams = {
+   Extensible
+}
+
+Extensible = (*text => any)
+
+js-int = -9007199254740991..9007199254740991
+js-uint = 0..9007199254740991
+
+SessionCommand = (
+  session.End //
+  session.New //
+  session.Status //
+  session.Subscribe //
+  session.Unsubscribe
+)
+
+session.CapabilitiesRequest = {
+  ? alwaysMatch: session.CapabilityRequest,
+  ? firstMatch: [*session.CapabilityRequest]
+}
+
+session.CapabilityRequest = {
+  ? acceptInsecureCerts: bool,
+  ? browserName: text,
+  ? browserVersion: text,
+  ? platformName: text,
+  ? proxy: session.ProxyConfiguration,
+  ? unhandledPromptBehavior: session.UserPromptHandler,
+  Extensible
+}
+
+session.ProxyConfiguration = session.AutodetectProxyConfiguration / session.DirectProxyConfiguration / session.ManualProxyConfiguration / session.PacProxyConfiguration / session.SystemProxyConfiguration
+
+session.UserPromptHandler = {
+  ? alert: session.UserPromptHandlerType,
+  ? beforeUnload: session.UserPromptHandlerType,
+  ? confirm: session.UserPromptHandlerType,
+  ? default: session.UserPromptHandlerType,
+  ? file: session.UserPromptHandlerType,
+  ? prompt: session.UserPromptHandlerType,
+}
+
+session.UserPromptHandlerType = "accept" / "dismiss" / "ignore";
+
+session.Subscription = text
+
+session.SubscriptionRequest = {
+  events: [+text],
+  ? contexts: [+browsingContext.BrowsingContext],
+  ? userContexts: [+browser.UserContext],
+}
+
+session.UnsubscribeByIDRequest = {
+  subscriptions: [+session.Subscription],
+}
+
+session.UnsubscribeByAttributesRequest = {
+  events: [+text],
+  ? contexts: [+browsingContext.BrowsingContext],
+}
+
+session.Status = (
+  method: "session.status",
+  params: EmptyParams,
+)
+
+session.New = (
+  method: "session.new",
+  params: session.NewParameters
+)
+
+session.NewParameters = {
+  capabilities: session.CapabilitiesRequest
+}
+
+session.End = (
+  method: "session.end",
+  params: EmptyParams
+)
+
+
+session.Subscribe = (
+  method: "session.subscribe",
+  params: session.SubscriptionRequest
+)
+
+session.Unsubscribe = (
+  method: "session.unsubscribe",
+  params: session.UnsubscribeParameters,
+)
+
+session.UnsubscribeParameters = session.UnsubscribeByAttributesRequest / session.UnsubscribeByIDRequest
+
+BrowserCommand = (
+  browser.Close //
+  browser.CreateUserContext //
+  browser.GetClientWindows //
+  browser.GetUserContexts //
+  browser.RemoveUserContext //
+  browser.SetClientWindowState
+)
+
+browser.ClientWindow = text;
+
+browser.ClientWindowInfo = {
+  active: bool,
+  clientWindow: browser.ClientWindow,
+  height: js-uint,
+  state: "fullscreen" / "maximized" / "minimized" / "normal",
+  width: js-uint,
+  x: js-int,
+  y: js-int,
+}
+
+browser.UserContext = text;
+
+browser.UserContextInfo = {
+  userContext: browser.UserContext
+}
+
+browser.Close = (
+  method: "browser.close",
+  params: EmptyParams,
+)
+
+browser.CreateUserContext = (
+  method: "browser.createUserContext",
+  params: EmptyParams,
+)
+
+browser.GetClientWindows = (
+  method: "browser.getClientWindows",
+  params: EmptyParams,
+)
+
+browser.GetUserContexts = (
+  method: "browser.getUserContexts",
+  params: EmptyParams,
+)
+
+browser.RemoveUserContext = (
+  method: "browser.removeUserContext",
+  params: browser.RemoveUserContextParameters
+)
+
+browser.RemoveUserContextParameters = {
+  userContext: browser.UserContext
+}
+
+browser.SetClientWindowState = (
+  method: "browser.setClientWindowState",
+  params: browser.SetClientWindowStateParameters
+)
+
+browser.SetClientWindowStateParameters = {
+  clientWindow: browser.ClientWindow,
+  (browser.ClientWindowNamedState // browser.ClientWindowRectState)
+}
+
+browser.ClientWindowNamedState = (
+  state: "fullscreen" / "maximized" / "minimized"
+)
+
+browser.ClientWindowRectState = (
+  state: "normal",
+  ? width: js-uint,
+  ? height: js-uint,
+  ? x: js-int,
+  ? y: js-int,
+)
+
+BrowsingContextCommand = (
+  browsingContext.Activate //
+  browsingContext.CaptureScreenshot //
+  browsingContext.Close //
+  browsingContext.Create //
+  browsingContext.GetTree //
+  browsingContext.HandleUserPrompt //
+  browsingContext.LocateNodes //
+  browsingContext.Navigate //
+  browsingContext.Print //
+  browsingContext.Reload //
+  browsingContext.SetViewport //
+  browsingContext.TraverseHistory
+)
+
+browsingContext.BrowsingContext = text;
+
+browsingContext.Locator = (
+   browsingContext.AccessibilityLocator /
+   browsingContext.CssLocator /
+   browsingContext.ContextLocator /
+   browsingContext.InnerTextLocator /
+   browsingContext.XPathLocator
+)
+
+browsingContext.AccessibilityLocator = {
+   type: "accessibility",
+   value: {
+    ? name: text,
+    ? role: text,
+   }
+}
+
+browsingContext.CssLocator = {
+   type: "css",
+   value: text
+}
+
+browsingContext.ContextLocator = {
+  type: "context",
+  value: {
+    context: browsingContext.BrowsingContext,
+  }
+}
+
+browsingContext.InnerTextLocator = {
+   type: "innerText",
+   value: text,
+   ? ignoreCase: bool
+   ? matchType: "full" / "partial",
+   ? maxDepth: js-uint,
+}
+
+browsingContext.XPathLocator = {
+   type: "xpath",
+   value: text
+}
+
+browsingContext.Navigation = text;
+
+browsingContext.ReadinessState = "none" / "interactive" / "complete"
+
+browsingContext.UserPromptType = "alert" / "beforeunload" / "confirm" / "prompt";
+
+browsingContext.Activate = (
+  method: "browsingContext.activate",
+  params: browsingContext.ActivateParameters
+)
+
+browsingContext.ActivateParameters = {
+  context: browsingContext.BrowsingContext
+}
+
+browsingContext.CaptureScreenshot = (
+  method: "browsingContext.captureScreenshot",
+  params: browsingContext.CaptureScreenshotParameters
+)
+
+browsingContext.CaptureScreenshotParameters = {
+  context: browsingContext.BrowsingContext,
+  ? origin: ("viewport" / "document") .default "viewport",
+  ? format: browsingContext.ImageFormat,
+  ? clip: browsingContext.ClipRectangle,
+}
+
+browsingContext.ImageFormat = {
+   type: text,
+   ? quality: 0.0..1.0,
+}
+
+browsingContext.ClipRectangle = (
+  browsingContext.BoxClipRectangle /
+  browsingContext.ElementClipRectangle
+)
+
+browsingContext.ElementClipRectangle = {
+  type: "element",
+  element: script.SharedReference
+}
+
+browsingContext.BoxClipRectangle = {
+   type: "box",
+   x: float,
+   y: float,
+   width: float,
+   height: float
+}
+
+browsingContext.Close = (
+  method: "browsingContext.close",
+  params: browsingContext.CloseParameters
+)
+
+browsingContext.CloseParameters = {
+  context: browsingContext.BrowsingContext,
+  ? promptUnload: bool .default false
+}
+
+browsingContext.Create = (
+  method: "browsingContext.create",
+  params: browsingContext.CreateParameters
+)
+
+browsingContext.CreateType = "tab" / "window"
+
+browsingContext.CreateParameters = {
+  type: browsingContext.CreateType,
+  ? referenceContext: browsingContext.BrowsingContext,
+  ? background: bool .default false,
+  ? userContext: browser.UserContext
+}
+
+browsingContext.GetTree = (
+  method: "browsingContext.getTree",
+  params: browsingContext.GetTreeParameters
+)
+
+browsingContext.GetTreeParameters = {
+  ? maxDepth: js-uint,
+  ? root: browsingContext.BrowsingContext,
+}
+
+browsingContext.HandleUserPrompt = (
+  method: "browsingContext.handleUserPrompt",
+  params: browsingContext.HandleUserPromptParameters
+)
+
+browsingContext.HandleUserPromptParameters = {
+  context: browsingContext.BrowsingContext,
+  ? accept: bool,
+  ? userText: text,
+}
+
+browsingContext.LocateNodes = (
+  method: "browsingContext.locateNodes",
+  params: browsingContext.LocateNodesParameters
+)
+
+browsingContext.LocateNodesParameters = {
+   context: browsingContext.BrowsingContext,
+   locator: browsingContext.Locator,
+   ? maxNodeCount: (js-uint .ge 1),
+   ? serializationOptions: script.SerializationOptions,
+   ? startNodes: [ + script.SharedReference ]
+}
+
+browsingContext.Navigate = (
+  method: "browsingContext.navigate",
+  params: browsingContext.NavigateParameters
+)
+
+browsingContext.NavigateParameters = {
+  context: browsingContext.BrowsingContext,
+  url: text,
+  ? wait: browsingContext.ReadinessState,
+}
+
+browsingContext.Print = (
+  method: "browsingContext.print",
+  params: browsingContext.PrintParameters
+)
+
+browsingContext.PrintParameters = {
+  context: browsingContext.BrowsingContext,
+  ? background: bool .default false,
+  ? margin: browsingContext.PrintMarginParameters,
+  ? orientation: ("portrait" / "landscape") .default "portrait",
+  ? page: browsingContext.PrintPageParameters,
+  ? pageRanges: [*(js-uint / text)],
+  ? scale: 0.1..2.0 .default 1.0,
+  ? shrinkToFit: bool .default true,
+}
+
+browsingContext.PrintMarginParameters = {
+  ? bottom: (float .ge 0.0) .default 1.0,
+  ? left: (float .ge 0.0) .default 1.0,
+  ? right: (float .ge 0.0) .default 1.0,
+  ? top: (float .ge 0.0) .default 1.0,
+}
+
+; Minimum size is 1pt x 1pt. Conversion follows from
+; https://www.w3.org/TR/css3-values/#absolute-lengths
+browsingContext.PrintPageParameters = {
+  ? height: (float .ge 0.0352) .default 27.94,
+  ? width: (float .ge 0.0352) .default 21.59,
+}
+
+browsingContext.Reload = (
+  method: "browsingContext.reload",
+  params: browsingContext.ReloadParameters
+)
+
+browsingContext.ReloadParameters = {
+  context: browsingContext.BrowsingContext,
+  ? ignoreCache: bool,
+  ? wait: browsingContext.ReadinessState,
+}
+
+browsingContext.SetViewport = (
+  method: "browsingContext.setViewport",
+  params: browsingContext.SetViewportParameters
+)
+
+browsingContext.SetViewportParameters = {
+  ? context: browsingContext.BrowsingContext,
+  ? viewport: browsingContext.Viewport / null,
+  ? devicePixelRatio: float .gt 0.0 / null,
+  ? userContexts: [+browser.UserContext],
+}
+
+browsingContext.Viewport = {
+  width: js-uint,
+  height: js-uint,
+}
+
+browsingContext.TraverseHistory = (
+  method: "browsingContext.traverseHistory",
+  params: browsingContext.TraverseHistoryParameters
+)
+
+browsingContext.TraverseHistoryParameters = {
+  context: browsingContext.BrowsingContext,
+  delta: js-int,
+}
+
+EmulationCommand = (
+  emulation.SetGeolocationOverride
+)
+
+emulation.SetGeolocationOverride = (
+  method: "emulation.setGeolocationOverride",
+  params: emulation.SetGeolocationOverrideParameters
+)
+
+emulation.SetGeolocationOverrideParameters = {
+  coordinates: emulation.GeolocationCoordinates / null,
+  ? contexts: [+browsingContext.BrowsingContext],
+  ? userContexts: [+browser.UserContext],
+}
+
+emulation.GeolocationCoordinates = {
+   latitude: float,
+   longitude: float,
+   ? accuracy: float .default 1.0,
+   ? altitude: float / null,
+   ? altitudeAccuracy: float / null,
+   ? heading: float / null,
+   ? speed: float / null
+}
+
+
+NetworkCommand = (
+  network.AddIntercept //
+  network.ContinueRequest //
+  network.ContinueResponse //
+  network.ContinueWithAuth //
+  network.FailRequest //
+  network.ProvideResponse //
+  network.RemoveIntercept //
+  network.SetCacheBehavior
+)
+
+
+network.AuthCredentials = {
+  type: "password",
+  username: text,
+  password: text,
+}
+
+network.BytesValue = network.StringValue / network.Base64Value;
+
+network.StringValue = {
+  type: "string",
+  value: text,
+}
+
+network.Base64Value = {
+  type: "base64",
+  value: text,
+}
+
+
+network.SameSite = "strict" / "lax" / "none"
+
+
+network.Cookie = {
+    name: text,
+    value: network.BytesValue,
+    domain: text,
+    path: text,
+    size: js-uint,
+    httpOnly: bool,
+    secure: bool,
+    sameSite: network.SameSite,
+    ? expiry: js-uint,
+    Extensible,
+}
+
+network.CookieHeader = {
+    name: text,
+    value: network.BytesValue,
+}
+
+network.Header = {
+  name: text,
+  value: network.BytesValue,
+}
+
+network.Intercept = text
+
+network.Request = text;
+
+
+network.SetCookieHeader = {
+    name: text,
+    value: network.BytesValue,
+    ? domain: text,
+    ? httpOnly: bool,
+    ? expiry: text,
+    ? maxAge: js-int,
+    ? path: text,
+    ? sameSite: network.SameSite,
+    ? secure: bool,
+}
+
+network.UrlPattern = (
+  network.UrlPatternPattern /
+  network.UrlPatternString
+)
+
+network.UrlPatternPattern = {
+    type: "pattern",
+    ?protocol: text,
+    ?hostname: text,
+    ?port: text,
+    ?pathname: text,
+    ?search: text,
+}
+
+
+network.UrlPatternString = {
+    type: "string",
+    pattern: text,
+}
+
+
+network.AddIntercept = (
+  method: "network.addIntercept",
+  params: network.AddInterceptParameters
+)
+
+network.AddInterceptParameters = {
+  phases: [+network.InterceptPhase],
+  ? contexts: [+browsingContext.BrowsingContext],
+  ? urlPatterns: [*network.UrlPattern],
+}
+
+network.InterceptPhase = "beforeRequestSent" / "responseStarted" /
+                         "authRequired"
+
+network.ContinueRequest = (
+  method: "network.continueRequest",
+  params: network.ContinueRequestParameters
+)
+
+network.ContinueRequestParameters = {
+  request: network.Request,
+  ?body: network.BytesValue,
+  ?cookies: [*network.CookieHeader],
+  ?headers: [*network.Header],
+  ?method: text,
+  ?url: text,
+}
+
+network.ContinueResponse = (
+  method: "network.continueResponse",
+  params: network.ContinueResponseParameters
+)
+
+network.ContinueResponseParameters = {
+  request: network.Request,
+  ?cookies: [*network.SetCookieHeader]
+  ?credentials: network.AuthCredentials,
+  ?headers: [*network.Header],
+  ?reasonPhrase: text,
+  ?statusCode: js-uint,
+}
+
+network.ContinueWithAuth = (
+  method: "network.continueWithAuth",
+  params: network.ContinueWithAuthParameters
+)
+
+network.ContinueWithAuthParameters = {
+  request: network.Request,
+  (network.ContinueWithAuthCredentials // network.ContinueWithAuthNoCredentials)
+}
+
+network.ContinueWithAuthCredentials = (
+  action: "provideCredentials",
+  credentials: network.AuthCredentials
+)
+
+network.ContinueWithAuthNoCredentials = (
+  action: "default" / "cancel"
+)
+
+network.FailRequest = (
+  method: "network.failRequest",
+  params: network.FailRequestParameters
+)
+
+network.FailRequestParameters = {
+  request: network.Request,
+}
+
+network.ProvideResponse = (
+  method: "network.provideResponse",
+  params: network.ProvideResponseParameters
+)
+
+network.ProvideResponseParameters = {
+  request: network.Request,
+  ?body: network.BytesValue,
+  ?cookies: [*network.SetCookieHeader],
+  ?headers: [*network.Header],
+  ?reasonPhrase: text,
+  ?statusCode: js-uint,
+}
+
+network.RemoveIntercept = (
+  method: "network.removeIntercept",
+  params: network.RemoveInterceptParameters
+)
+
+network.RemoveInterceptParameters = {
+  intercept: network.Intercept
+}
+
+network.SetCacheBehavior = (
+  method: "network.setCacheBehavior",
+  params: network.SetCacheBehaviorParameters
+)
+
+network.SetCacheBehaviorParameters = {
+  cacheBehavior: "default" / "bypass",
+  ? contexts: [+browsingContext.BrowsingContext]
+}
+
+ScriptCommand = (
+  script.AddPreloadScript //
+  script.CallFunction //
+  script.Disown //
+  script.Evaluate //
+  script.GetRealms //
+  script.RemovePreloadScript
+)
+
+script.Channel = text;
+
+script.ChannelValue = {
+  type: "channel",
+  value: script.ChannelProperties,
+}
+
+script.ChannelProperties = {
+  channel: script.Channel,
+  ? serializationOptions: script.SerializationOptions,
+  ? ownership: script.ResultOwnership,
+}
+
+script.EvaluateResult = (
+  script.EvaluateResultSuccess /
+  script.EvaluateResultException
+)
+
+script.EvaluateResultSuccess = {
+  type: "success",
+  result: script.RemoteValue,
+  realm: script.Realm
+}
+
+script.EvaluateResultException = {
+  type: "exception",
+  exceptionDetails: script.ExceptionDetails
+  realm: script.Realm
+}
+
+script.ExceptionDetails = {
+  columnNumber: js-uint,
+  exception: script.RemoteValue,
+  lineNumber: js-uint,
+  stackTrace: script.StackTrace,
+  text: text,
+}
+
+script.Handle = text;
+
+script.InternalId = text;
+
+script.LocalValue = (
+  script.RemoteReference /
+  script.PrimitiveProtocolValue /
+  script.ChannelValue /
+  script.ArrayLocalValue /
+  script.DateLocalValue /
+  script.MapLocalValue /
+  script.ObjectLocalValue /
+  script.RegExpLocalValue /
+  script.SetLocalValue
+)
+
+script.ListLocalValue = [*script.LocalValue];
+
+script.ArrayLocalValue = {
+  type: "array",
+  value: script.ListLocalValue,
+}
+
+script.DateLocalValue = {
+  type: "date",
+  value: text
+}
+
+script.MappingLocalValue = [*[(script.LocalValue / text), script.LocalValue]];
+
+script.MapLocalValue = {
+  type: "map",
+  value: script.MappingLocalValue,
+}
+
+script.ObjectLocalValue = {
+  type: "object",
+  value: script.MappingLocalValue,
+}
+
+script.RegExpValue = {
+  pattern: text,
+  ? flags: text,
+}
+
+script.RegExpLocalValue = {
+  type: "regexp",
+  value: script.RegExpValue,
+}
+
+script.SetLocalValue = {
+  type: "set",
+  value: script.ListLocalValue,
+}
+
+script.PreloadScript = text;
+
+script.Realm = text;
+
+script.PrimitiveProtocolValue = (
+  script.UndefinedValue /
+  script.NullValue /
+  script.StringValue /
+  script.NumberValue /
+  script.BooleanValue /
+  script.BigIntValue
+)
+
+script.UndefinedValue = {
+  type: "undefined",
+}
+
+script.NullValue = {
+  type: "null",
+}
+
+script.StringValue = {
+  type: "string",
+  value: text,
+}
+
+script.SpecialNumber = "NaN" / "-0" / "Infinity" / "-Infinity";
+
+script.NumberValue = {
+  type: "number",
+  value: number / script.SpecialNumber,
+}
+
+script.BooleanValue = {
+  type: "boolean",
+  value: bool,
+}
+
+script.BigIntValue = {
+  type: "bigint",
+  value: text,
+}
+
+script.RealmType = "window" / "dedicated-worker" / "shared-worker" / "service-worker" /
+                   "worker" / "paint-worklet" / "audio-worklet" / "worklet"
+
+
+
+script.RemoteReference = (
+  script.SharedReference /
+  script.RemoteObjectReference
+)
+
+script.SharedReference = {
+   sharedId: script.SharedId
+
+   ? handle: script.Handle,
+   Extensible
+}
+
+script.RemoteObjectReference = {
+   handle: script.Handle,
+
+   ? sharedId: script.SharedId
+   Extensible
+}
+
+script.RemoteValue = (
+  script.PrimitiveProtocolValue /
+  script.SymbolRemoteValue /
+  script.ArrayRemoteValue /
+  script.ObjectRemoteValue /
+  script.FunctionRemoteValue /
+  script.RegExpRemoteValue /
+  script.DateRemoteValue /
+  script.MapRemoteValue /
+  script.SetRemoteValue /
+  script.WeakMapRemoteValue /
+  script.WeakSetRemoteValue /
+  script.GeneratorRemoteValue /
+  script.ErrorRemoteValue /
+  script.ProxyRemoteValue /
+  script.PromiseRemoteValue /
+  script.TypedArrayRemoteValue /
+  script.ArrayBufferRemoteValue /
+  script.NodeListRemoteValue /
+  script.HTMLCollectionRemoteValue /
+  script.NodeRemoteValue /
+  script.WindowProxyRemoteValue
+)
+
+script.ListRemoteValue = [*script.RemoteValue];
+
+script.MappingRemoteValue = [*[(script.RemoteValue / text), script.RemoteValue]];
+
+script.SymbolRemoteValue = {
+  type: "symbol",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ArrayRemoteValue = {
+  type: "array",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue,
+}
+
+script.ObjectRemoteValue = {
+  type: "object",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.MappingRemoteValue,
+}
+
+script.FunctionRemoteValue = {
+  type: "function",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.MapRemoteValue = {
+  type: "map",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.MappingRemoteValue,
+}
+
+script.SetRemoteValue = {
+  type: "set",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue
+}
+
+script.WeakMapRemoteValue = {
+  type: "weakmap",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.WeakSetRemoteValue = {
+  type: "weakset",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.GeneratorRemoteValue = {
+  type: "generator",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ErrorRemoteValue = {
+  type: "error",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ProxyRemoteValue = {
+  type: "proxy",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.PromiseRemoteValue = {
+  type: "promise",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.TypedArrayRemoteValue = {
+  type: "typedarray",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.ArrayBufferRemoteValue = {
+  type: "arraybuffer",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+}
+
+script.NodeListRemoteValue = {
+  type: "nodelist",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue,
+}
+
+script.HTMLCollectionRemoteValue = {
+  type: "htmlcollection",
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.ListRemoteValue,
+}
+
+script.NodeRemoteValue = {
+  type: "node",
+  ? sharedId: script.SharedId,
+  ? handle: script.Handle,
+  ? internalId: script.InternalId,
+  ? value: script.NodeProperties,
+}
+
+script.NodeProperties = {
+  nodeType: js-uint,
+  childNodeCount: js-uint,
+  ? attributes: {*text => text},
+  ? children: [*script.NodeRemoteValue],
+  ? localName: text,
+  ? mode: "open" / "closed",
+  ? namespaceURI: text,
+  ? nodeValue: text,
+  ? shadowRoot: script.NodeRemoteValue / null,
+}
+
+script.WindowProxyRemoteValue = {
+  type: "window",
+  value: script.WindowProxyProperties,
+  ? handle: script.Handle,
+  ? internalId: script.InternalId
+}
+
+script.WindowProxyProperties = {
+  context: browsingContext.BrowsingContext
+}
+
+script.ResultOwnership = "root" / "none"
+
+script.SerializationOptions = {
+  ? maxDomDepth: (js-uint / null) .default 0,
+  ? maxObjectDepth: (js-uint / null) .default null,
+  ? includeShadowTree: ("none" / "open" / "all") .default "none",
+}
+
+script.SharedId = text;
+
+script.StackFrame = {
+  columnNumber: js-uint,
+  functionName: text,
+  lineNumber: js-uint,
+  url: text,
+}
+
+script.StackTrace = {
+  callFrames: [*script.StackFrame],
+}
+
+script.RealmTarget = {
+  realm: script.Realm
+}
+
+script.ContextTarget = {
+  context: browsingContext.BrowsingContext,
+  ? sandbox: text
+}
+
+script.Target = (
+  script.ContextTarget /
+  script.RealmTarget
+)
+
+script.AddPreloadScript = (
+  method: "script.addPreloadScript",
+  params: script.AddPreloadScriptParameters
+)
+
+script.AddPreloadScriptParameters = {
+  functionDeclaration: text,
+  ? arguments: [*script.ChannelValue],
+  ? contexts: [+browsingContext.BrowsingContext],
+  ? userContexts: [+browser.UserContext],
+  ? sandbox: text
+}
+
+script.Disown = (
+  method: "script.disown",
+  params: script.DisownParameters
+)
+
+script.DisownParameters = {
+  handles: [*script.Handle]
+  target: script.Target;
+}
+
+script.CallFunction = (
+  method: "script.callFunction",
+  params: script.CallFunctionParameters
+)
+
+script.CallFunctionParameters = {
+  functionDeclaration: text,
+  awaitPromise: bool,
+  target: script.Target,
+  ? arguments: [*script.LocalValue],
+  ? resultOwnership: script.ResultOwnership,
+  ? serializationOptions: script.SerializationOptions,
+  ? this: script.LocalValue,
+  ? userActivation: bool .default false,
+}
+
+script.Evaluate = (
+  method: "script.evaluate",
+  params: script.EvaluateParameters
+)
+
+script.EvaluateParameters = {
+  expression: text,
+  target: script.Target,
+  awaitPromise: bool,
+  ? resultOwnership: script.ResultOwnership,
+  ? serializationOptions: script.SerializationOptions,
+  ? userActivation: bool .default false,
+}
+
+script.GetRealms = (
+  method: "script.getRealms",
+  params: script.GetRealmsParameters
+)
+
+script.GetRealmsParameters = {
+  ? context: browsingContext.BrowsingContext,
+  ? type: script.RealmType,
+}
+
+script.RemovePreloadScript = (
+  method: "script.removePreloadScript",
+  params: script.RemovePreloadScriptParameters
+)
+
+script.RemovePreloadScriptParameters = {
+  script: script.PreloadScript
+}
+
+StorageCommand = (
+  storage.DeleteCookies //
+  storage.GetCookies //
+  storage.SetCookie
+)
+
+storage.PartitionKey = {
+  ? userContext: text,
+  ? sourceOrigin: text,
+  Extensible,
+}
+
+storage.GetCookies = (
+  method: "storage.getCookies",
+  params: storage.GetCookiesParameters
+)
+
+
+storage.CookieFilter = {
+  ? name: text,
+  ? value: network.BytesValue,
+  ? domain: text,
+  ? path: text,
+  ? size: js-uint,
+  ? httpOnly: bool,
+  ? secure: bool,
+  ? sameSite: network.SameSite,
+  ? expiry: js-uint,
+  Extensible,
+}
+
+storage.BrowsingContextPartitionDescriptor = {
+  type: "context",
+  context: browsingContext.BrowsingContext
+}
+
+storage.StorageKeyPartitionDescriptor = {
+  type: "storageKey",
+  ? userContext: text,
+  ? sourceOrigin: text,
+  Extensible,
+}
+
+storage.PartitionDescriptor = (
+  storage.BrowsingContextPartitionDescriptor /
+  storage.StorageKeyPartitionDescriptor
+)
+
+storage.GetCookiesParameters = {
+  ? filter: storage.CookieFilter,
+  ? partition: storage.PartitionDescriptor,
+}
+
+storage.SetCookie = (
+  method: "storage.setCookie",
+  params: storage.SetCookieParameters,
+)
+
+
+storage.PartialCookie = {
+  name: text,
+  value: network.BytesValue,
+  domain: text,
+  ? path: text,
+  ? httpOnly: bool,
+  ? secure: bool,
+  ? sameSite: network.SameSite,
+  ? expiry: js-uint,
+  Extensible,
+}
+
+storage.SetCookieParameters = {
+  cookie: storage.PartialCookie,
+  ? partition: storage.PartitionDescriptor,
+}
+
+storage.DeleteCookies = (
+  method: "storage.deleteCookies",
+  params: storage.DeleteCookiesParameters,
+)
+
+storage.DeleteCookiesParameters = {
+  ? filter: storage.CookieFilter,
+  ? partition: storage.PartitionDescriptor,
+}
+
+
+InputCommand = (
+  input.PerformActions //
+  input.ReleaseActions //
+  input.SetFiles
+)
+
+input.ElementOrigin = {
+  type: "element",
+  element: script.SharedReference
+}
+
+input.PerformActions = (
+  method: "input.performActions",
+  params: input.PerformActionsParameters
+)
+
+input.PerformActionsParameters = {
+  context: browsingContext.BrowsingContext,
+  actions: [*input.SourceActions]
+}
+
+input.SourceActions = (
+  input.NoneSourceActions /
+  input.KeySourceActions /
+  input.PointerSourceActions /
+  input.WheelSourceActions
+)
+
+input.NoneSourceActions = {
+  type: "none",
+  id: text,
+  actions: [*input.NoneSourceAction]
+}
+
+input.NoneSourceAction = input.PauseAction
+
+input.KeySourceActions = {
+  type: "key",
+  id: text,
+  actions: [*input.KeySourceAction]
+}
+
+input.KeySourceAction = (
+  input.PauseAction /
+  input.KeyDownAction /
+  input.KeyUpAction
+)
+
+input.PointerSourceActions = {
+  type: "pointer",
+  id: text,
+  ? parameters: input.PointerParameters,
+  actions: [*input.PointerSourceAction]
+}
+
+input.PointerType = "mouse" / "pen" / "touch"
+
+input.PointerParameters = {
+  ? pointerType: input.PointerType .default "mouse"
+}
+
+input.PointerSourceAction = (
+  input.PauseAction /
+  input.PointerDownAction /
+  input.PointerUpAction /
+  input.PointerMoveAction
+)
+
+input.WheelSourceActions = {
+  type: "wheel",
+  id: text,
+  actions: [*input.WheelSourceAction]
+}
+
+input.WheelSourceAction = (
+  input.PauseAction /
+  input.WheelScrollAction
+)
+
+input.PauseAction = {
+  type: "pause",
+  ? duration: js-uint
+}
+
+input.KeyDownAction = {
+  type: "keyDown",
+  value: text
+}
+
+input.KeyUpAction = {
+  type: "keyUp",
+  value: text
+}
+
+input.PointerUpAction = {
+  type: "pointerUp",
+  button: js-uint,
+}
+
+input.PointerDownAction = {
+  type: "pointerDown",
+  button: js-uint,
+  input.PointerCommonProperties
+}
+
+input.PointerMoveAction = {
+  type: "pointerMove",
+  x: float,
+  y: float,
+  ? duration: js-uint,
+  ? origin: input.Origin,
+  input.PointerCommonProperties
+}
+
+input.WheelScrollAction = {
+  type: "scroll",
+  x: js-int,
+  y: js-int,
+  deltaX: js-int,
+  deltaY: js-int,
+  ? duration: js-uint,
+  ? origin: input.Origin .default "viewport",
+}
+
+input.PointerCommonProperties = (
+  ? width: js-uint .default 1,
+  ? height: js-uint .default 1,
+  ? pressure: float .default 0.0,
+  ? tangentialPressure: float .default 0.0,
+  ? twist: 0..359 .default 0,
+  ; 0 .. Math.PI / 2
+  ? altitudeAngle: 0.0..1.5707963267948966 .default 0.0,
+  ; 0 .. 2 * Math.PI
+  ? azimuthAngle: 0.0..6.283185307179586 .default 0.0,
+)
+
+input.Origin = "viewport" / "pointer" / input.ElementOrigin
+
+input.ReleaseActions = (
+  method: "input.releaseActions",
+  params: input.ReleaseActionsParameters
+)
+
+input.ReleaseActionsParameters = {
+  context: browsingContext.BrowsingContext,
+}
+
+input.SetFiles = (
+  method: "input.setFiles",
+  params: input.SetFilesParameters
+)
+
+input.SetFilesParameters = {
+  context: browsingContext.BrowsingContext,
+  element: script.SharedReference,
+  files: [*text]
+}
+
+input.FileDialogOpened = (
+   method: "input.fileDialogOpened",
+   params: input.FileDialogInfo
+)
+
+input.FileDialogInfo = {
+   context: browsingContext.BrowsingContext,
+   ? element: script.SharedReference,
+   multiple: bool,
+}
+
+WebExtensionCommand = (
+  webExtension.Install //
+  webExtension.Uninstall
+)
+
+webExtension.Extension = text
+
+webExtension.Install = (
+   method: "webExtension.install",
+   params: webExtension.InstallParameters
+)
+
+webExtension.InstallParameters = {
+   extensionData: webExtension.ExtensionData,
+}
+
+webExtension.ExtensionData = (
+   webExtension.ExtensionArchivePath /
+   webExtension.ExtensionBase64Encoded /
+   webExtension.ExtensionPath
+)
+
+webExtension.ExtensionPath = {
+   type: "path",
+   path: text,
+}
+
+webExtension.ExtensionArchivePath = {
+   type: "archivePath",
+   path: text,
+}
+
+webExtension.ExtensionBase64Encoded = {
+   type: "base64",
+   value: text,
+}
+
+webExtension.Uninstall = (
+   method: "webExtension.uninstall",
+   params: webExtension.UninstallParameters
+)
+
+webExtension.UninstallParameters = {
+   extension: webExtension.Extension,
+}