Struct DeclSummary 

pub struct DeclSummary {
    pub name: String,
    pub kind: DeclKind,
    pub has_body: bool,
    pub num_univ_params: usize,
}

A summary of information about a declaration, useful for diagnostics.

Fields

name: String

The name of the declaration.

kind: DeclKind

The kind of declaration.

has_body: bool

Whether the declaration has a body/proof.

num_univ_params: usize

Number of universe parameters.

Trait Implementations

impl Clone for DeclSummary

fn clone(&self) -> DeclSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclSummary

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

Formats the value using the given formatter.