MPI_File_get_type_extent.openmpi(3) on Linux

The text fab71130838b, as Debian 10 (Buster) shipped it.

Returns the extent of the data type in a file.

MPI_File_get_type_extent.openmpi(3) on Linux now