Struct TypeInfo 

pub struct TypeInfo {
    pub name: String,
    pub constructors: Vec<(String, u32, Vec<LcnfType>)>,
    pub is_recursive: bool,
}

Type information for layout computation.

Fields

name: String

Name of the type.

constructors: Vec<(String, u32, Vec<LcnfType>)>

Constructors (name, tag, field types).

is_recursive: bool

Whether this type is recursive.

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.