[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

7.16 HALT

Halts program execution and frees resources allocated during execution, provided the optional postcondition evaluates to true or is omitted.

Syntax

HALT[:postcondition]

This document was generated on November 11, 2022 using texi2html 5.0.