Add documentation for attributes
predicate, element, bracketLabel
@@ -3147,12 +3147,16 @@ compiler and used internally. We list these attributes below as a reference for
interested readers:
| Name | Type | Backend | Reference |
-| ---------- | ---- | ------- | ------------------------------------------------------------------------------------- |
+|----------------| ---- | ------- |---------------------------------------------------------------------------------------|
| `assoc` | prod | all | [`assoc`, `comm`, `idem` and `unit` attributes](#assoc-comm-idem-and-unit-attributes) |
| `comm` | prod | all | [`assoc`, `comm`, `idem` and `unit` attributes](#assoc-comm-idem-and-unit-attributes) |
| `idem` | prod | all | [`assoc`, `comm`, `idem` and `unit` attributes](#assoc-comm-idem-and-unit-attributes) |
| `unit` | prod | all | [`assoc`, `comm`, `idem` and `unit` attributes](#assoc-comm-idem-and-unit-attributes) |
-| `userList` | prod | all | No reference yet |
+| `userList` | prod | all | Identifies the desugared form of `Lst ::= List{Elm,"delim"}` |
+| `predicate` | prod | all | Specifies the sort of a predicate label |
+| `element` | prod | all | Specifies the label of the elements in a list |
+| `bracketLabel` | prod | all | Keep track of the label of a bracket production since it can't have a klabel |
+
### Index Legend
