Enum AnnotationKind 

pub enum AnnotationKind {
    Intent(String),
    Constraint {
        source: String,
        expr: NodeId,
    },
    AiImmutable(bool),
}

Annotation payloads (spec/annotations.md §2–§4).

Variants

Intent(String)

Documentation only, never enforced.

Constraint

Boolean predicate with value bound to the annotated value. source is the raw payload (quoted in T006); expr is the parsed tree with value rewritten to the annotated node.

Fields

source: String

expr: NodeId

AiImmutable(bool)

Agent-immutable flag; false behaves as no annotation.

Trait Implementations

impl Clone for AnnotationKind

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AnnotationKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.