Searched defs:TCvSubst (Results 1 – 4 of 4) sorted by relevance
109 data TCvSubst type110 = TCvSubst InScopeSet -- The in-scope type and kind variables constructor
106 data TCvSubst type107 = TCvSubst InScopeSet -- The in-scope type and kind variables constructor
111 data TCvSubst type112 = TCvSubst InScopeSet -- The in-scope type and kind variables constructor