pub fn lt(type_name: &Ident) -> TokenStream