Trait konst_kernel::type_eq::TypeWitnessTypeArg

pub trait TypeWitnessTypeArg {
    type Arg: ?Sized;
}

Required Associated Types

The type parameter used for type witnesses-

Usually, enums that implement this trait have variants with Type<Self::Arg, SomeType> fields.