Macro type_fn::type_fn

macro_rules! type_fn {
    ($($vis:vis fn $name:ident <$($arg:ident),*>;)*) => { ... };
}

Creates type functions. You will still need to implement them yourself, e.g. using type_fn_impl!. Syntax: $[$visibility$]$ fn $name$ <$args$>;

visibility is just like rust’s normal visibility modifier.

args is a list of type arguments. They can not have constraints at this time.