Enum BlockItemKind 

pub enum BlockItemKind {
    Clause {
        keyword: String,
        value: Expr,
    },
    Assignment {
        name: Ident,
        value: Expr,
    },
    ParamAssignment {
        name: Ident,
        params: Vec<Ident>,
        value: Expr,
    },
    Let {
        name: Ident,
        value: Expr,
    },
    EnumVariant {
        name: Ident,
    },
    ForBlock {
        binding: Ident,
        collection: Expr,
        filter: Option<Expr>,
        items: Vec<BlockItem>,
    },
    OpenQuestion {
        text: StringLiteral,
    },
}

Variants

Clause

keyword: value — when:, requires:, ensures:, facing:, etc.

Fields

keyword: String

value: Expr

Assignment

name: value — field, relationship, projection, derived value.

Fields

name: Ident

value: Expr

ParamAssignment

name(params): value — parameterised derived value.

Fields

name: Ident

params: Vec<Ident>

value: Expr

Let

let name = value

Fields

name: Ident

value: Expr

EnumVariant

Bare name inside an enum body — pending, shipped, etc.

Fields

name: Ident

ForBlock

for binding in collection [where filter]: ... at block level (rule iteration)

Fields

binding: Ident

collection: Expr

filter: Option<Expr>

items: Vec<BlockItem>

OpenQuestion

open question "text" (nested within a block)

Fields

text: StringLiteral

Trait Implementations

impl Clone for BlockItemKind

fn clone(&self) -> BlockItemKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockItemKind

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

Formats the value using the given formatter.