型変数をどう表現するか

ironoir.hatenablog.com WebAssemblyのValidationを実装しています。初めてで拙いながらも実装方法を考えているところです。WebAssemblyの命令のうち、一部はpolymorphicなものがあって、value-polymorphicな命令とstack-polymorphicな命令があります。stack-polymorphicな命令に関しては以下でとりあげました。 ironoir.h…