Top

Branch

Fixtype of Leo branches.

This is a product type introduced by fty::defprod.

Fields

test — expression
body — statement-list

We formalize a branch as consisting of a test expression and a list of statements. These branches are constituents of conditional statements.

Subtopics

Branch-equiv: Basic equivalence relation for branch structures.
Make-branch: Basic constructor macro for branch structures.
Change-branch: Modifying constructor for branch structures.
Branch->body: Get the body field from a branch.
Branch->test: Get the test field from a branch.
Branchp: Recognizer for branch structures.
Branch-fix: Fixing function for branch structures.
Branch-count: Measure for recurring over branch structures.