5.3 modeの拡張

このような場合，reconsider という言葉を使って，modeの拡張を行います．



    reconsider U=D as Real by ...;

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