file isfile name
Returns 1 if file name is a regular file, 0 otherwise.
See also:
Tcl syntax help - Category Command - Category Introspection - Category File