Type Alias CoercibleToArrayIndexType<Name, DomainSort>

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

Type Parameters

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

Settings

Member Visibility