Assumption

[ベース]タブ

  • 名前空間

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

  • ID

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

  • Statement

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

[ハイパーリンク]タブ

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