| bag | The abstract class for FSet functional bags (multisets). It is a structure class. |
|---|---|
| map | The abstract class for FSet functional maps. It is a structure class. |
| relation | The abstract class for FSet relations. It is a structure class. |
| seq | The abstract class for FSet functional seqs (sequences, but we use the short name to avoid confus... |
| set | The abstract class for FSet functional sets. It is a structure class. |
| tuple | The abstract class for FSet functional tuples. It is a structure class. |