Index
| :=: | Data.Proof.EQ |
| =:= | Data.Ty |
| AsPairTy | Data.Ty |
| asPairTy | Data.Ty |
| commEq | Data.Proof.EQ |
| IsTy | Data.IsTy, Data.Ty |
| IsTyConstraint | Data.IsTy, Data.Ty |
| liftEq | Data.Proof.EQ |
| liftEq2 | Data.Proof.EQ |
| liftEq3 | Data.Proof.EQ |
| liftEq4 | Data.Proof.EQ |
| PairTy | Data.Ty |
| Refl | Data.Proof.EQ |
| transEq | Data.Proof.EQ |
| Ty | Data.Ty |
| ty | Data.Ty |
| tyEq | Data.IsTy, Data.Ty |
| tyOf | Data.Ty |
| tyOf1 | Data.Ty |
| tyOf2 | Data.Ty |
| Typeable | Data.Ty |
| tyRep | Data.Ty |