Library Coqdoc.multiple_links

Inductive t := X | T : t → t.
Check X.
Check t.
Check t_ind.