Searched refs:genvalType (Results 1 – 3 of 3) sorted by relevance
747 , genvalType = metaType }) function
352 let (v, t) = applySubst sub (genvalTerm val, genvalType val)
1265 , genvalType :: Type function