2022-03-18 明示的な名前空間 muses MEDL 設計 MEDL記述内に、明示的な名前空間指定を入れたほうがいいだろう。 namespace "fooBar" fragment signature Semiring within Set { sort S operation (+):S×S → S operation 0:1 → S }これで指標名 Semiring は fooBar名前空間に入る。