Trait type_sets::sets::Four

pub trait Four<T1, T2, T3, T4>: Three<T1, T2, T3> + Contains<T4> { }

A set containing 4 types.

This should not be implemented manually.

For easy usage, see the macro Set.

Implementors

impl<T1, T2, T3, T4, S> Four<T1, T2, T3, T4> for S

where S: Three<T1, T2, T3> + Contains<T4> + ?Sized,