The Semantics section contains the semantic specification of the ADL function. The following three examples show the ADL and NLD for the bank module and the NLS file generated from them, as it appears after formatting by the troff text processor . The withdraw function deducts amt from the balance of acct and returns the resulting balance of acct. The negation of an exceptional outcome has occurred is bound to normally. Return is equal to the balance of the previous value of account number.
Return is equal to the balance of the previous value of account number.