025: Absyn.ParTy 取り除けるのでは

↑up

概要

Absyn.ParTy は、文法の要素としてはあるかもしれないが、抽象構文としては不要ではないか。

文法をすべてカバーしてからでいいと思うが、取り除けないか検討する。