Module konst_kernel::type_eq

Structs

• TypeEq
  Value-level proof that L is the same type as R

Traits

• HasTypeWitness
  Gets a type witness for Self.
• MakeTypeWitness
  Constructs this type witness.
• TypeWitnessTypeArg
  Gets the type argument that this type witness witnesses.