Searched defs:dataConExTyCoVars (Results 1 – 4 of 4) sorted by relevance
1100 dataConExTyCoVars (MkData { dcExTyCoVars = tvbs }) = tvbs function
1045 dataConExTyCoVars (MkData { dcExTyCoVars = tvbs }) = tvbs function
1103 dataConExTyCoVars (MkData { dcExTyCoVars = tvbs }) = tvbs function