Interface SMTArrayCreation<Name>

interface SMTArrayCreation<Name extends string> {
    const<
        DomainSort extends [Sort<Name>, ...Sort<Name>[]],
        RangeSort extends Sort<Name>,
    >(
        name: string,
        ...sig: [...DomainSort[], RangeSort],
    ): SMTArray<Name, DomainSort, RangeSort>;
    consts<
        DomainSort extends [Sort<Name>, ...Sort<Name>[]],
        RangeSort extends Sort<Name>,
    >(
        names: string | string[],
        ...sig: [...DomainSort[], RangeSort],
    ): SMTArray<Name, DomainSort, RangeSort>[];
    K<DomainSort extends AnySort<Name>, RangeSort extends AnySort<Name>>(
        domain: DomainSort,
        value: SortToExprMap<RangeSort, Name>,
    ): SMTArray<Name, [DomainSort], RangeSort>;
    sort<
        DomainSort extends [Sort<Name>, ...Sort<Name>[]],
        RangeSort extends Sort<Name>,
    >(
        ...sig: [...DomainSort[], RangeSort],
    ): SMTArraySort<Name, DomainSort, RangeSort>;
}