Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
入力が配列であることは明らかですが、flag[1..] に進むと、flag がシーケンスであると表示されるのはなぜですか? リンクはこちら：http: //rise4fun.com/Dafny/fUgu