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

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

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

Browse the public evidence index →