分岐の両方に割り振る必要があります。型を割り振ることができます。条件式が正しく型付けできていることを想像してみましょう。その条件式が評価されるとまずはじめに比較を評価して値を得ることになります。あることが保証されています。分岐が評価されることになるわけです。分岐を省略した条件式を作ることもできます。次のような式を作ることができます。print(x)これは次の条件式と等価です。値を表わすことに注意してください。