blob: 80452e4d2f6e068ec2af01aa023fec40d655a9fd (
plain)
1
2
3
4
5
6
7
8
9
|
__interface TypeRep 1 0 where
__export TypeRep Type SourceType PredType Kind SuperKind TyThing ;
1 data Type ;
1 data SourceType ;
1 data TyThing ;
1 type PredType = SourceType ;
1 type Kind = Type ;
1 type SuperKind = Type ;
|