"(B|E|T)-Mult" are not highlighted
Closed this issue · 1 comments
Deleted user commented
Derivation Rules of B-Mult
, E-Mult
and T-Mult
are not highlighted.
T-Mult
is a rule of PolyTypingML4.
E-Mult
and B-Mult
are rules of EvalRefML3.
These rules may be in master/src/extension.ts
kitagawa-hr commented
closed by #2