A record that bundles together a process dimension and a coordinate value in that dimension. The definition of the Coord struct is
class Dimension ; struct Coord { Dimension dim ; int crd ; } ;