Uninitialize a variable
__uninitialize (Ref_Type x)
The __uninitialize function may be used to uninitialize the variable referenced by the parameter x.
The following two lines are equivalent:
() = __tmp(z); __uninitialize (&z);
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}