19.3 Pervasives モジュール: 初期状態で open されているモジュール