Struct ConstantSummary 

pub struct ConstantSummary {
    pub name: Name,
    pub kind: ConstantKind,
    pub num_level_params: usize,
    pub is_polymorphic: bool,
}

A summary of a declaration’s key properties.

Fields

name: Name

The name of the constant.

kind: ConstantKind

The kind of constant.

num_level_params: usize

Number of universe level parameters.

is_polymorphic: bool

Whether this is universe-polymorphic.

Trait Implementations

impl Clone for ConstantSummary

fn clone(&self) -> ConstantSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstantSummary

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

Formats the value using the given formatter.