// @(#)$Id: interest.lh,v 1.4 1997/06/03 20:30:08 leavens Exp $
extern float interest(float x, float rate = 0.05) throw();
//@ behavior {
//@    requires 0.0 <= rate /\ rate <= 1.0;
//@    ensures result = x * rate;
//@ }

[Index]

HTML generated using lcpp2html.