Trait PackedElim

pub trait PackedElim {
    type species;
    type body_type;
}

Required Associated Types

type species

type body_type

Implementors

impl<T> PackedElim for Pure<T>

type species = Pure<T>

type body_type = Pure<T>

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