LANGUAGE · VERIFIED

Structs & Enums

Struct

struct Point {
    x: f64;
    y: f64;
}

Struct construction and field access are verified in real tests.

Enum

enum State {
    Ready;
    Stopped;
}

Enum definitions, variants, and matching are verified. Variant payloads are also represented in the parser and tests.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

tests/examples/test_struct.avs
tests/examples/test_struct_point.avs
tests/backend/match_enum.avs
tests/backend/multiple_enum.avs