Index
| Branch | Type.Set |
| decompRoot | Type.Set.Variant |
| Empty | Type.Set |
| Follow | Type.Set |
| FromSides | Type.Set.Variant |
| fromSides | Type.Set.Variant |
| fromVariant | Type.Set.Variant |
| Has | Type.Set.Variant |
| Insert | Type.Set |
| L | Type.Set |
| Locate | Type.Set |
| LSplit | Type.Set.Variant |
| Member | Type.Set |
| Merge | Type.Set |
| proveFollowInsert | Type.Set.Variant |
| R | Type.Set |
| Remove | Type.Set |
| Root | Type.Set.Variant |
| RSplit | Type.Set.Variant |
| Side | Type.Set |
| SL | Type.Set.Variant |
| SNil | Type.Set.Variant |
| Split | Type.Set.Variant |
| SR | Type.Set.Variant |
| SSide | Type.Set.Variant |
| toVariant | Type.Set.Variant |
| TypeSet | Type.Set |
| Variant | |
| 1 (Type/Class) | Type.Set.Variant |
| 2 (Data Constructor) | Type.Set.Variant |
| weaken | Type.Set.Variant |