以下のものは明示的インタフェースを持ちます。
内部およびモジュール手続 (その定義上,明示的なもの)
組込み手続
インタフェース宣言を持つ外部手続
有効域によって定義されており再帰的である外部手続
インタフェース宣言を持つ仮手続