Trait type_sets::sets::One

pub trait One<T1>: Zero + Contains<T1> { }

A set containing 1 types.

This should not be implemented manually.

For easy usage, see the macro Set.

Implementors

impl<T1, S> One<T1> for S

where S: Zero + Contains<T1> + ?Sized,