Type Members

1.  type Contains[A, B] = PContains[A, A, B, B]
2.  type Downcast[A, B] = PDowncast[A, A, B, B]
3.  type Equivalent[A, B] = PEquivalent[A, A, B, B]
4.  type Extract[A, B] = PExtract[A, A, B, B]
5.  type Folded[A, B] = PFolded[A, A, B, B]
6.  type Items[A, B] = PItems[A, A, B, B]
7.  type Label[label] = Any { type Label = label }
8.  type Property[A, B] = PProperty[A, A, B, B]
9.  type Reduced[A, B] = PReduced[A, A, B, B]
10.  type Repeated[A, B] = PRepeated[A, A, B, B]
11.  type Same[A, B] = PSame[A, A, B, B]
12.  type Subset[A, B] = PSubset[A, A, B, B]
13.  type Upcast[A, B] = PUpcast[A, A, B, B]
14.  type Update[A, B] = PUpdate[A, A, B, B]
15.  type Zipping[A, B] = PZipping[A, A, B, B]