bash - Bash ローカル ファイル記述子はどのように機能しますか?

Question

私は見ましたが、次のファイル記述子の構文がどのように機能するかの詳細を説明する Bash ガイドが見つかりません。

while read line <&3; do
    echo $line
done 3<file.txt

doneこれは、Bashがファイル記述子ソースを処理できるようにする while ループの特別な構造ですか? exec 呼び出しを行うための省略表現のようなものですか?