enum-set-unfold Amirouche Boubekki (20 Sep 2020 18:35 UTC)
Re: enum-set-unfold John Cowan (20 Sep 2020 18:55 UTC)
Re: enum-set-unfold Wolfgang Corcoran-Mathe (20 Sep 2020 19:09 UTC)
Re: enum-set-unfold John Cowan (20 Sep 2020 21:56 UTC)
Re: enum-set-unfold Wolfgang Corcoran-Mathe (20 Sep 2020 23:50 UTC)

enum-set-unfold Amirouche Boubekki 20 Sep 2020 18:34 UTC

Does it make sense to have such a procedure that will build an
enum-set from an integer that is in fact the logior of several
ordinals?