// @(#)$Id: chaos.lh,v 1.4 1997/06/03 20:29:58 leavens Exp $

extern void chaos();
//@ behavior {
//@   extern everything;
//@   modifies everything;
//@   trashes everything;
//@   ensures true;
//@ }

[Index]

HTML generated using lcpp2html.