Struct CredentialDecl 

pub struct CredentialDecl {
    pub name: Ident,
    pub kind: Ident,
    pub span: SourceSpan,
}

credential <name> { kind <kind> } (std.custody; DR-0053 §5): a bare handle naming a custodian entry — governance supplies reality via grant credential … -> credential:<addr>, and material never appears in source. kind exists so the checker can statically reject an operation the credential cannot perform (sign … with a bearer); the custodian’s registered kind is authoritative and mismatch is a check error. Kinds are spelled with underscores in source (hmac_sha256) and normalize to the protocol’s kebab-case.

Fields

name: Ident

kind: Ident

span: SourceSpan

Trait Implementations

impl Clone for CredentialDecl

fn clone(&self) -> CredentialDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CredentialDecl

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

Formats the value using the given formatter.

impl Eq for CredentialDecl

impl PartialEq for CredentialDecl

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CredentialDecl