{
  "id": "@typed/ui/index#Dom.IfEquals",
  "canonicalId": "@typed/ui/Dom/Types#IfEquals",
  "symbol": {
    "id": "@typed/ui/index#Dom.IfEquals",
    "packageName": "@typed/ui",
    "moduleName": "index",
    "exportName": "Dom.IfEquals",
    "kind": "type",
    "signatures": [
      "export type IfEquals<X, Y, Output> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? Output : never;"
    ],
    "summary": "Produces `Output` only when two types are mutually assignable.",
    "sections": {
      "Why": "DOM host types use exact equality to identify writable properties safely.",
      "Ownership and lifetime": "Type-only and resource-free."
    },
    "examples": [],
    "relations": [],
    "source": {
      "file": "packages/ui/src/Dom/Types.ts",
      "line": 213
    },
    "since": "1.0.0",
    "category": "Property type utilities"
  },
  "exposure": {
    "recordKind": "declaration",
    "id": "@typed/ui/index#Dom.IfEquals",
    "packageName": "@typed/ui",
    "packageVersion": "1.0.0-beta.13",
    "moduleName": "index",
    "consumerSpecifier": "@typed/ui/index",
    "exportName": "Dom",
    "qualifiedName": "Dom.IfEquals",
    "declarationKey": "declaration:8b8243ab8e391ed4295ba5d5",
    "family": "type-alias",
    "signatures": [
      "export type IfEquals<X, Y, Output> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? Output : never;"
    ],
    "sourceSpans": [
      {
        "file": "packages/ui/src/Dom/Types.ts",
        "start": {
          "line": 213,
          "column": 1
        },
        "end": {
          "line": 214,
          "column": 88
        }
      }
    ],
    "aliases": [
      "@typed/ui#Dom.IfEquals",
      "@typed/ui/Dom#IfEquals",
      "@typed/ui/Dom/Types#IfEquals",
      "@typed/ui/Dom/index#IfEquals"
    ],
    "isAlias": true,
    "parentId": "@typed/ui/index#Dom",
    "static": false,
    "importedFrom": "declaration:8b8243ab8e391ed4295ba5d5"
  },
  "declaration": {
    "declarationKey": "declaration:8b8243ab8e391ed4295ba5d5",
    "name": "IfEquals",
    "family": "type-alias",
    "facets": [
      {
        "family": "type-alias",
        "syntaxKind": "TypeAliasDeclaration",
        "signatures": [
          "export type IfEquals<X, Y, Output> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? Output : never;"
        ],
        "typeParameters": [
          "X",
          "Y",
          "Output"
        ],
        "sourceSpans": [
          {
            "file": "packages/ui/src/Dom/Types.ts",
            "start": {
              "line": 213,
              "column": 1
            },
            "end": {
              "line": 214,
              "column": 88
            }
          }
        ],
        "static": false,
        "readonly": false,
        "optional": false
      }
    ],
    "signatures": [
      "export type IfEquals<X, Y, Output> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? Output : never;"
    ],
    "typeParameters": [
      "X",
      "Y",
      "Output"
    ],
    "summary": "Produces `Output` only when two types are mutually assignable.",
    "sections": {
      "Why": "DOM host types use exact equality to identify writable properties safely.",
      "Ownership and lifetime": "Type-only and resource-free."
    },
    "examples": [],
    "sourceSpans": [
      {
        "file": "packages/ui/src/Dom/Types.ts",
        "start": {
          "line": 213,
          "column": 1
        },
        "end": {
          "line": 214,
          "column": 88
        }
      }
    ],
    "since": "1.0.0",
    "category": "Property type utilities"
  }
}
