Program expression
= Program expression
A program construct that is evaluated to obtain a value, potentially with <side effects> or failure. An arithmetic <mathematical expression> is one example; its <abstract syntax tree> records how operands and operations nest.