素のAdaだとそのままビルドできちゃう整数を2倍にするだけの関数も、SPARK環境だとヘッダでの宣言のほうにこういう風に前提条件を書かないと警告が出ちゃう＞＜