Restricted-growth string (source code)

= Restricted-growth string

A restricted-growth string encodes a set partition by numbering blocks in order of first appearance.