type_level_values 0.1.2

Crate for using type-level values and functions.
1
2
3
4
5
6
7
8
9

use prelude::*;


pub(crate)struct AssEqTy<T:?Sized,U:?Sized>(
    VariantPhantom<(
        VariantPhantom<T>,
        VariantPhantom<U>,
    )>
)where T:TypeIdentity<Type=U>;