Array.java

package DPJRuntime;

public arrayclass Array<type T,region R> {
    T in R;
}