HANDLE2FILENAME Convert a file handle to a filename
function n = handle2filename(fileHandle) arguments fileHandle (1,1) {mustBeInteger} end n = ""; if fileHandle >= 0 n = stdlib.posix(fopen(fileHandle)); end end %!assert(handle2filename(0), "stdin")