ルール定義

ルール定義は、 &rule;; で始まり、次のものが書けます。

「モジュール指定」には、ルールを保持するモジュール名を書きます。

複数のモジュールが同じルールを保持する場合も記述できるよう、「モジュール指定」には次のものが書けます。

モジュール指定

例えば、ルールの記述を、rule1, rule2, rule3, rule4 で代用すると、

				&rule;;
				{m1,m2}::rule1;;
				m3::rule2;;
				m4::{rule3, rule4};;

と書けます。