% @(#)$Id: MutableMoneyTrait.lsl,v 1.3 1997/07/31 02:41:11 leavens Exp $

MutableMoneyTrait: trait
  includes MoneyTrait, MoneyTrait(MutableMoney for Money)
  introduces
    toMoney: MutableMoney -> Money
  asserts
    \forall p: long
      toMoney(MONEY_MAX) == MONEY_MAX:Money;
      toMoney(MONEY_MIN) == MONEY_MIN:Money;
      toMoney(pennies(p)) == pennies(p);
  implies
    MutableMoneyHom

      

[Index]

HTML generated using lcpp2html.