Trait rusttyc::AbstractType

pub trait AbstractType: Eq + Sized {
    fn unconstrained() -> Self;

    fn is_unconstrained(&self) -> bool { ... }
}

The main trait representing types throughout the type checking procedure. It is bound to the type checker as the Value for the Key parameter. As such, it needs to implement EnaValue.

Required methods

fn unconstrained() -> Self

Returns an unconstrained abstract type.

Loading content...

Provided methods

fn is_unconstrained(&self) -> bool

Determines if an element is unconstrained.

Loading content...

Implementors

Loading content...