Searched defs:kind_args (Results 1 – 2 of 2) sorted by relevance
1244 kind_args = mkListExpr (mkTyConTy someTypeRepTyCon) kind_arg_reps function
1174 kind_args = map typeKind args' function