type alias CheckIndexRecordimport { type CheckIndexRecord } from "https://deno.land/x/kvdex@v0.1.2/mod.ts"; Type ParametersT1 extends ModelT2definition: T2 extends IndexRecord<T1> ? T2 : IndexRecord<T1>