James58899
says to
YSITD
forall是什麼,我可以當成for看嗎