Index
| add | Closed.Internal, Closed |
| Bounds | Closed.Internal, Closed |
| Closed | |
| 1 (Type/Class) | Closed.Internal, Closed |
| 2 (Data Constructor) | Closed.Internal |
| closed | Closed.Internal, Closed |
| cmp | Closed.Internal, Closed |
| Endpoint | Closed.Internal, Closed |
| equals | Closed.Internal, Closed |
| Exclusive | Closed.Internal, Closed |
| FiniteNat | Closed.Internal, Closed |
| getClosed | Closed.Internal, Closed |
| Inclusive | Closed.Internal, Closed |
| isValidClosed | Closed.Internal, Closed |
| lowerBound | Closed.Internal, Closed |
| multiply | Closed.Internal, Closed |
| natToClosed | Closed.Internal, Closed |
| Single | Closed.Internal, Closed |
| strengthenLower | Closed.Internal, Closed |
| strengthenUpper | Closed.Internal, Closed |
| sub | Closed.Internal, Closed |
| unrepresentable | Closed.Internal |
| unsafeClosed | Closed.Internal, Closed |
| upperBound | Closed.Internal, Closed |
| weakenLower | Closed.Internal, Closed |
| weakenUpper | Closed.Internal, Closed |