Top

Struct-init

Fixtype of Leo struct component initializers.

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

Fields

name — identifier
expr — expression

Here we represent them in canonical form, i.e. as an identifier and an expression. The abbreviated form is just a concrete syntax convenience.

Subtopics

Struct-init-equiv: Basic equivalence relation for struct-init structures.
Make-struct-init: Basic constructor macro for struct-init structures.
Struct-init->name: Get the name field from a struct-init.
Struct-init->expr: Get the expr field from a struct-init.
Change-struct-init: Modifying constructor for struct-init structures.
Struct-initp: Recognizer for struct-init structures.
Struct-init-fix: Fixing function for struct-init structures.
Struct-init-count: Measure for recurring over struct-init structures.