IPArray.java

package DPJRuntime;

public arrayclass IPArray<type T,region R> {
    T in R:[index];
}