{"version":3,"file":"DviResolutionInfo.mjs","names":["common.UInt16_1024","common.UInt16_768","common.string_empty"],"sources":["../generated/DviResolutionInfo.ts"],"sourcesContent":["import * as t from 'io-ts';\nimport * as common from '../lib/common';\n/**\n * Codec for interface {@link DviResolutionInfo}\n * @category Codecs\n * @see Automatically generated from ../decompiled/Nova.GigabitController.ProgramInnerData.decompiled.cs:381\n */\nexport const DviResolutionInfo = t.intersection(\n  [\n    t.type({\n      DviWidth: common.UInt16_1024, // #390\n      DviHeight: common.UInt16_768, // #403\n      DisplayString: common.string_empty,\n    }),\n    t.partial({}),\n  ],\n  'DviResolutionInfo'\n);\nexport interface DviResolutionInfo extends t.TypeOf<typeof DviResolutionInfo> {}\n"],"mappings":";;;;;;;;;AAOA,MAAa,oBAAoB,EAAE,aACjC,CACE,EAAE,KAAK;CACL,UAAUA;CACV,WAAWC;CACX,eAAeC;AACjB,CAAC,GACD,EAAE,QAAQ,CAAC,CAAC,CACd,GACA,mBACF"}