Type Alias ArrayIndexType<Name, DomainSort>

ArrayIndexType: [
    ...{
        [Key in keyof DomainSort]: DomainSort[Key] extends AnySort<Name>
            ? SortToExprMap<DomainSort[Key], Name>
            : DomainSort[Key]
    },
]

Type Parameters

  • Name extends string
  • DomainSort extends Sort<Name>[]

Settings

Member Visibility