// @(#)$Id: isqrt4.lh,v 1.5 1999/01/11 22:05:52 leavens Exp $
extern int isqrt4(int x) throw();
//@ behavior {
//@   requires x >= 0;
//@   ensures result >= 0
//@           /\ (% result is an approximation to
//@                 the square root of x %);
//@ }

[Index]

HTML generated using lcpp2html.