['static'] メソッド名 '(' 識別子 ':' 型名 ... ')' ':' 型名 ブロック文
fact(n :int) :int { if n < 2 { return 1; } else { return n * fact(n - 1); } }
メソッドを宣言します。修飾子'static'を付けると、staticメソッドを宣言したことになります。