pub trait PackedElim {
    type species;
    type body_type;
}

Required Associated Types§

Implementors§

source§

impl<T> PackedElim for Pure<T>

§

type species = Pure<T>

§

type body_type = Pure<T>

source§

impl<Target> PackedElim for WeakHead<Body, Target>
where WeakHead<Species, Target>: SynthTyped<((Species,), ()), Target>, WeakHead<BodyType, Target>: SynthTyped<((BodyType,), ()), Target>,

§

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

§

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr