Attributes
. Barrier-Free Universal Right Fold . Names
Type
(1)