// @(#)$Id: default_destructor.lh,v 1.1 1997/01/10 23:57:29 leavens Exp $
#include "default_interfaces.lh"

T::~T() throw();
//@ behavior {
//@   ensures true;
//@ }

[Index]

HTML generated using lcpp2html.