% @(#)$Id: MutableMoneySig.lsl,v 1.1 1997/09/16 04:12:35 leavens Exp $

MutableMoneySig: 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);

[Index]

HTML generated using lcpp2html.