Type Alias chalk_solve::infer::ParameterEnaVariable

source · 
pub type ParameterEnaVariable<I: Interner> = WithKind<I, EnaVariable<I>>;

Aliased Type§

struct ParameterEnaVariable<I: Interner> {
    pub kind: VariableKind<I>,
    pub(crate) value: EnaVariable<I>,
}

Fields§

§kind: VariableKind<I>

The associated variable kind.

§value: EnaVariable<I>

Trait Implementations§