Trait PackedElim 

pub trait PackedElim {
    type Female;
    type Male;
}

Required Associated Types

type Female

type Male

Implementors

impl<T> PackedElim for Pure<T>

type Female = Pure<T>

type Male = Pure<T>

impl<Target> PackedElim for WeakHead<BodyType, Target>

where WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>,

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

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