Function arrayToJson

arrayToJson<T extends Any<unknown, number>>(a0: Array<0 | 1, T>): Json<0 | 1>

arrayToJson<T extends Any<unknown, number>>(
    a0: Array<0 | 1, T>,
    a1: Bool<0 | 1>,
): Json<0 | 1>