変数に型を定義する

such that 関数[ 変数 ];
as mode型;