Macro def_kind 

def_kind!() { /* proc-macro */ }

Defines a new Kind trait.

This macro generates a trait definition for a Higher-Kinded Type signature. It takes a list of associated type definitions, similar to a trait definition.

Examples

// Simple definition
def_kind!(type Of<T>;);

// Definition with bounds and lifetimes
def_kind!(type Of<'a, T: Display>: Debug;);

// Multiple associated types
def_kind!(
    type Of<T>;
    type SendOf<T>: Send;
);