pub trait PackedElim {
    type Good;
    type Evil;
}

Required Associated Types§

Implementations on Foreign Types§

source§

impl<T> PackedElim for Pure<T>

§

type Good = Pure<T>

§

type Evil = Pure<T>

source§

impl<Target> PackedElim for WeakHead<StoneColor, Target>
where WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>,

§

type Good = <WeakHead<Pure<Target>, Target> as SynthTyped<(), Target>>::Expr

§

type Evil = <WeakHead<Pure<Target>, Target> as SynthTyped<(), Target>>::Expr

Implementors§