Struct DeclInfo 

pub struct DeclInfo {
    pub fields: Fields,
    pub variants: Variants,
    pub inner: Option<TyRepr>,
}

What one model, union or newtype declaration holds.

Field types are written with the declaration’s parameters in place (TyRepr::Param); TypeEnv::fields is what puts a mention’s arguments back in.

Fields

fields: Fields

variants: Variants

inner: Option<TyRepr>

Trait Implementations

impl Clone for DeclInfo

fn clone(&self) -> DeclInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclInfo

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

Formats the value using the given formatter.

impl Default for DeclInfo

fn default() -> DeclInfo

Returns the “default value” for a type.