User blog comment:Hyp cos/Fundamental Sequences in Taranovsky's Notation/@comment-40154718-20190916083849/@comment-40154718-20190916105849

What is an "ordinal type" ?