Type Alias chalk_engine::strand::CanonicalStrand

pub(crate) type CanonicalStrand<I> = Canonical<Strand<I>>;

Aliased Type

struct CanonicalStrand<I> {
    pub value: Strand<I>,
    pub binders: CanonicalVarKinds<<Strand<I> as HasInterner>::Interner>,
}

Fields

value: Strand<I>

The item that is canonicalized.

binders: CanonicalVarKinds<<Strand<I> as HasInterner>::Interner>

The kind/universe of the variable.