Struct kailua_check::env::TypeDef

pub struct TypeDef {
    pub span: Span,
    pub ty: Ty,
}

A named type definition.

Fields

span: Span

The definition span.

ty: Ty

The type.

Trait Implementations

impl Clone for TypeDef

fn clone(&self) -> TypeDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDef

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.