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

What is an "ordinal type" ?