>>191
なるほどな C++弄ったことないからあれだけど
回答はこんな感じでいいの?
VL>deflength::[reverse]
VL>deflength([])=0
VL>deflength(head:tail)=1+length(tail+r)