Top

Statement

Statement-if

This is a product type, introduced by fty::deftagsum in support of statement.

Fields

branches — branch-list
else — statement-list

Additional Requirements

The following invariant is enforced on the fields:

(consp branches)

Subtopics

Statement-if->branches: Get the branches field from a statement-if.
Make-statement-if: Basic constructor macro for statement-if structures.
Statement-if->else: Get the else field from a statement-if.
Change-statement-if: Modifying constructor for statement-if structures.