Probe for the next data to receive, store the result in status

Note: If you encounter an error where the next receive does not correspond to the last probe, call this method twice to ensure a correct result.

Property definitions

mpi $ MPI :: probe
	# Probe for the next data to receive, store the result in `status`
	#
	# Note: If you encounter an error where the next receive does not correspond
	# to the last `probe`, call this method twice to ensure a correct result.
	fun probe(source: Rank, tag: Tag, comm: Comm, status: Status): SuccessOrError
	`{
		return MPI_Probe(source, tag, comm, status);
	`}
lib/mpi/mpi.nit:150,2--157,3