Module konst_kernel::type_eq
source · Structs§
- Value-level proof that
L
is the same type asR
Traits§
- Gets a type witness for
Self
. - Constructs this type witness.
- Gets the type argument that this type witness witnesses.
L
is the same type as R
Self
.