Index - S
| SizedInt | Data.SizedInt |
| SizedWord | Data.SizedWord |
| subT | Types.Data.Num.Ops, Types.Data.Num, Types |
| Succ | Types.Data.Num.Ops, Types.Data.Num, Types |
| succT | Types.Data.Num.Ops, Types.Data.Num, Types |
tfp-0.7: Type-level integers, booleans, lists using type families
Index - S
| SizedInt | Data.SizedInt |
| SizedWord | Data.SizedWord |
| subT | Types.Data.Num.Ops, Types.Data.Num, Types |
| Succ | Types.Data.Num.Ops, Types.Data.Num, Types |
| succT | Types.Data.Num.Ops, Types.Data.Num, Types |