I am trying to understand what T:\'a where, I guess, T is a type and \'a is a lifetime.
T:\'a
T
\'a
I understand what \'a: \'b
\'a: \'b