Searched defs:tyCoBinderType (Results 1 – 4 of 4) sorted by relevance
1862 tyCoBinderType (Named tvb) = binderType tvb function1863 tyCoBinderType (Anon _ ty) = scaledThing ty function
1844 tyCoBinderType (Named tvb) = binderType tvb function1845 tyCoBinderType (Anon _ ty) = ty function
2122 tyCoBinderType (Named tvb) = binderType tvb function2123 tyCoBinderType (Anon _ ty) = scaledThing ty function