// @(#)$Id: MoneyOpStar.lh,v 1.6 1997/06/03 20:29:44 leavens Exp $
#include "Money.lh"
extern Money& operator *= (Money& p, double scalar) throw();
//@ behavior {
//@   requires assigned(p, pre);
//@   ensures result = p /\ p' = scalar * p^;
//@ }

[Index]

HTML generated using lcpp2html.