4 files changed, 42 insertions, 0 deletions

diff --git a/ddl/lib/java/RT/Maybe.java b/ddl/lib/java/RT/Maybe.java
new file mode 100644
index 0000000..7e416a7
--- /dev/null
+++ b/ddl/lib/java/RT/Maybe.java
@@ -0,0 +1,6 @@
+package RT;
+
+public class Maybe<T> {
+  public Boolean valid;
+  public T data;
+}
diff --git a/ddl/lib/java/RT/V2.java b/ddl/lib/java/RT/V2.java
new file mode 100644
index 0000000..7c7c90f
--- /dev/null
+++ b/ddl/lib/java/RT/V2.java
@@ -0,0 +1,10 @@
+package RT;
+
+public class V2<T> {
+  public T x;
+  public T y;
+  public V2(T x_, T y_) {
+    x = x_;
+    y = y_;
+  }
+}
diff --git a/ddl/lib/java/RT/V3.java b/ddl/lib/java/RT/V3.java
new file mode 100644
index 0000000..7859bff
--- /dev/null
+++ b/ddl/lib/java/RT/V3.java
@@ -0,0 +1,12 @@
+package RT;
+
+public class V3<T> {
+  public T x;
+  public T y;
+  public T z;
+  public V3(T x_, T y_, T z_) {
+    x = x_;
+    y = y_;
+    z = z_;
+  }
+}
diff --git a/ddl/lib/java/RT/V4.java b/ddl/lib/java/RT/V4.java
new file mode 100644
index 0000000..cfb7eed
--- /dev/null
+++ b/ddl/lib/java/RT/V4.java
@@ -0,0 +1,14 @@
+package RT;
+
+public class V4<T> {
+  public T x;
+  public T y;
+  public T z;
+  public T w;
+  public V4(T x_, T y_, T z_, T w_) {
+    x = x_;
+    y = y_;
+    z = z_;
+    w = w_;
+  }
+}