Next: Specification Part, Previous: Sizety, Up: Language [Contents][Index]
A statement is a unit that appears in a strong context with a-posteriori mode void. Also known as voided units.
void