// @(#)$Id: isqrt-informal.lh,v 1.5 1999/01/11 21:20:14 leavens Exp $
extern int isqrt(int x) throw();
//@ behavior {
//@     requires informally "x is not negative";
//@     ensures (% result is an approximation to
//@                the square root of x %);
//@ }

[Index]

HTML generated using lcpp2html.