Type Definition mpi::topology::Key [] [src]

type Key = c_int;

A key used when determining the rank order of processes after a communicator split.