📢 Webサイト閉鎖と移転のお知らせ
このWebサイトは2026年9月に閉鎖いたします。
新しい記事は移転先で追加しております。（旧サイトでは記事を追加しておりません）
| 188行目: | 188行目: | ||
<br> | <br> | ||
policy_module(<モジュール名>, <バージョン>) | policy_module(<モジュール名>, <バージョン>) | ||
# または | |||
module <モジュール名> <バージョン>; | |||
例: | 例: | ||
policy_module(myapp, 1.0) | policy_module(myapp, 1.0) | ||
<br> | <br> | ||
==== タイプ定義 ==== | ==== タイプ定義 ==== | ||
セキュリティコンテキストの一部となるタイプを定義する。<br> | セキュリティコンテキストの一部となるタイプを定義する。<br> | ||