結果 : rust formal language specification