Struct StateDecl 

pub struct StateDecl {
    pub id: String,
    pub local: String,
    pub block: String,
    pub layer: Option<usize>,
    pub section: Section,
    pub kind: StateKind,
    pub format: StateFormat,
    pub elements: u64,
    pub verify: Option<VerifySteps>,
    pub lifetime: Lifetime,
}

2026-09-30: One declared state of one block instance.

Fields

id: String

2026-09-30: <block prefix>.<local> (l0.gdn.h, draft.attn.k).

local: String

2026-09-30: The template-local id (h, conv, k, v).

block: String

2026-09-30: The block template.

layer: Option<usize>

2026-09-30: The layer, when the block is a layer’s.

section: Section

2026-09-30: Main or draft.

kind: StateKind

2026-09-30: What it is.

format: StateFormat

2026-09-30: Storage format.

elements: u64

2026-09-30: Elements per unit (slot or token).

verify: Option<VerifySteps>

2026-09-30: The verify intermediates a recurrent state keeps; None for a KV side.

lifetime: Lifetime

2026-09-30: How long a live unit lives (Lifetime::of_kind).

Trait Implementations

impl Clone for StateDecl

fn clone(&self) -> StateDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateDecl

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

Formats the value using the given formatter.

impl PartialEq for StateDecl

fn eq(&self, other: &StateDecl) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StateDecl

impl StructuralPartialEq for StateDecl