>>98 え?
var a :^Integer; b , c :Integer;  は

var a :^Integer;
var b , c :Integer;  と書いたのと同じでvarは const や type が来るまでは変数宣言ですよという意味

引数の時のみ var は ; 迄しか有効じゃなくて、これは参照ですよという意味

それからバリアントだろうと型宣言は省略出来ない
 唯一、引数の時で参照宣言の時のみ書かない事が出来るけど、それはバリアントではない