関連ワード:  method vs function dafny    what is the difference between function and method    are methods and functions the same    method v function  
結果 : method vs function dafny