トップレベルプログラムは Scheme プログラムを定義・実行するエントリポイントを定める。 トップレベルプログラムはインポートすべきライブラリと実行すべきコードを定める。 直接インポートされたり、transitive closure を経由してインポートされたライブラリを経てトップレベルプログラムは完全な Scheme プログラムを定義する。