5.3　mode の変更

このような場合，reconsider という言葉を使って，mode の変更を行います(4.10参照)．

　　　　reconsider U=D as Nat by ...;


　このように reconsider によって，Real の mode である D を Nat の mode である U に変更することが出来ます．