В чем разница между типом и типом *?

Question

Я видел какой-то случай Type* в этом проекте. Бег #check Type* дает Type u_1 : Type (u_1+1) а также #check Type дает Type : Type 1,

Выполнение поиска по языковой ссылке и Ctrl-FГлава "Выражения" не дает никакой информации о Type*, Для чего он используется концептуально? Кроме того, если возможно, что используется в проекте, который я связал?

(The * трудно найти, извините, если это дубликат.)