5.15 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 January 3, 2022 using texi2html 5.0.