Avatar
omochimetaru 8/8/2019 8:01 AM
プロトコルの後付けを考えると existential 側に witness table を持つしかない
これの「しかない」に対する反論証明にもなってると思います。