Assumption

[ベース]タブ

• 名前空間

  • Assumptionが所属する名前空間(Moduleの階層)を表示します。

• ID

  • Assumptionが所属する名前空間内で一意な識別子を示し変更可能です。

• Statement

  • このAssumptionについての説明です。

[ハイパーリンク]タブ

詳細は 基本機能 - ハイパーリンク をご覧ください。