Function generateSubscripts

generateSubscripts<T extends Any<unknown, number>>(
    a0: Array<0 | 1, T>,
    a1: Int4<0 | 1>,
): Setof<{ from: {} }>

generateSubscripts<T extends Any<unknown, number>>(
    a0: Array<0 | 1, T>,
    a1: Int4<0 | 1>,
    a2: Bool<0 | 1>,
): Setof<{ from: {} }>