Index
| :=: | Data.Proof.EQ |
| commEq | Data.Proof.EQ |
| IsTy | Data.IsTy, Data.Ty |
| liftEq | Data.Proof.EQ |
| liftEq2 | Data.Proof.EQ |
| liftEq3 | Data.Proof.EQ |
| liftEq4 | Data.Proof.EQ |
| Refl | Data.Proof.EQ |
| transEq | Data.Proof.EQ |
| Ty | Data.Ty |
| ty | Data.Ty |
| tyEq | Data.IsTy, Data.Ty |
| tyOf | Data.Ty |
| Typeable | Data.Ty |
| tyRep | Data.Ty |