Declarations And Items

This section covers the main named program elements of FOL.

The declaration families include:

• bindings: var, let, con, lab
• routines: fun, pro, log
• type and construct declarations: typ, ali
• contract-like declarations: std

Module-like forms such as use, def, seg, and imp are covered in the modules chapter because they primarily define source layout, namespace, and composition boundaries.