Module konst_kernel::type_eq

source ·

Structs§

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

Traits§