Index
| # | Finite |
| #<< | Finite |
| <<# | Finite |
| baseInstance | Finite.TH |
| bounds | Finite |
| Collection | Finite |
| complement | Finite |
| elements | Finite |
| extendInstance | Finite.TH |
| final | Finite |
| Finite | Finite |
| FiniteBounds | Finite |
| gelements | Finite |
| GFinite | Finite |
| gindex | Finite |
| gvalue | Finite |
| index | Finite |
| initial | Finite |
| Item | Finite |
| newBaseInstance | Finite.TH |
| newInstance | Finite.TH |
| next | Finite |
| offset | Finite |
| polyType | Finite.TH |
| PowerSet | Finite |
| previous | Finite |
| T | Finite |
| t2v | Finite |
| v2t | Finite |
| value | Finite |
| values | Finite |
| \# | Finite |
| |/=| | Finite |
| |<=| | Finite |
| |<| | Finite |
| |==| | Finite |
| |>=| | Finite |
| |>| | Finite |