// @(#)$Id: abort.lh,v 1.6 1997/06/03 20:29:55 leavens Exp $
extern void abort() throw();
//@ behavior {
//@   requires false;
//@   ensures true;
//@ also
//@   requires true;
//@   ensures liberally false;
//@ }

[Index]

HTML generated using lcpp2html.