明示的な名前空間

MEDL記述内に、明示的な名前空間指定を入れたほうがいいだろう。

namespace "fooBar"

fragment signature Semiring within Set {
  sort S
  operation (+):S×S → S
  operation 0:1 → S
}

これで指標名 Semiring は fooBar名前空間に入る。