14.3 Module browsing

左端のボックスを、クリックするか選択してリターンを押してモジュールを選択します。選択したい名前の先頭の文字を打つことで、ボックスの高速アクセスができます。ダブルクリックやダブルリターンでそのモジュールのシグネチャ全体を表示します。

モジュールで定義されている識別子が 1 つ右のボックスに表示されます。サブモジュールをクリックすると、その中身をもう 1 つのボックスに表示します。それ以外をクリックすると、その識別子の signature を下に表示します。

シグネチャはクリックできます。シグネチャ内の識別子をマウスの左ボタンでダブルクリックすると、そのシグネチャにジャンプします。右ボタンをクリックするとポップアップメニューが出て、その識別子の型宣言を表示します。ポップアップメニューのタイトルが選択できるときは、選択するとその識別子のシグネチャにジャンプします。

一番下には、ボタンが並んでいます。状態によってボタンは現れたり消えたりします。

Control+S でシグネチャ内を文字列検索できます。