1package ds.util;
2
3import ds.util.P;
4import ds.util.V;
5
6public final
7 class PV {
8 public final P fst;
9 public final V snd;
10
11 private PV(P p, V v) {
12 fst = p;
13 snd = v;
14 }
15
16 public String toString() {
17 return
18 "(" + fst.toString() +
19 ", " + snd.toString() +
20 ")";
21 }
22
23
24 public static PV mkPair(P p, V v) {
25 return
26 new PV(p, v);
27 }
28}