Struct TypeInfo 

pub struct TypeInfo {
    pub name: Name,
    pub num_params: u32,
    pub is_prop: bool,
    pub constructors: Vec<CtorInfo>,
    pub special_repr: Option<SpecialRepr>,
}

Runtime type information for a type.

Fields

name: Name

Fully qualified name of the type.

num_params: u32

Number of type parameters.

is_prop: bool

Whether this is a proposition (proof-irrelevant).

constructors: Vec<CtorInfo>

Constructor descriptors.

special_repr: Option<SpecialRepr>

Whether this type has a special optimized representation.

Trait Implementations

impl Clone for TypeInfo

fn clone(&self) -> TypeInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeInfo

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

Formats the value using the given formatter.