Struct SpecEntry 

pub struct SpecEntry {
    pub name: &'static str,
    pub lean_spec: fn() -> String,
    pub has_lifecycle: bool,
}

One registered #[derive(VerifiedAccounts)] struct.

Fields

name: &'static str

lean_spec: fn() -> String

The Milestone-1 AccountsStruct literal (Lean source).

has_lifecycle: bool

True if any field carries an init/close constraint (selects the obligation kind).

Trait Implementations

impl Collect for SpecEntry